共 50 条
- [21] The SIGNAL declarative synchronous language: controller synthesis & systems/architecture design PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 3284 - 3289
- [22] ANEL: Robust Mobile Network Programming Using a Declarative Language 2018 IEEE/ACM 5TH INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS (MOBILESOFT), 2018, : 202 - 213
- [23] Modular Natural Language Processing Using Declarative Attribute Grammars ADVANCES IN ARTIFICIAL INTELLIGENCE, PT I, 2011, 7094 : 291 - 304
- [25] Declarative language for behaviour description Advances in Intelligent Systems and Computing, 2015, 316
- [26] A Declarative Gradualizer with Language Transformations PROCEEDINGS OF THE 32ND SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2020, 2020, : 44 - 54
- [27] A Tactic Language for Declarative Proofs INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 99 - 114
- [28] A Declarative Language Interpreter for CEP PROCEEDINGS OF THE 2015 IEEE 19TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS AND DEMONSTRATIONS (EDOCW 2015), 2015, : 156 - 159
- [29] A language for declarative robotic programming ICRA '99: IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, PROCEEDINGS, 1999, : 1144 - 1151
- [30] Language for declarative robotic programming Proceedings - IEEE International Conference on Robotics and Automation, 1999, 2 : 1144 - 1151