共 50 条
- [45] A declarative debugger for Maude ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2008, 5140 : 116 - 121
- [47] Declarative Probabilistic Programming KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2015, 9324 : XIII - XIII
- [49] Declarative Choreographies and Liveness FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), 2019, 11535 : 129 - 147