共 50 条
- [2] KALEIDOSCOPE - MIXING OBJECTS, CONSTRAINTS, AND IMPERATIVE PROGRAMMING [J]. SIGPLAN NOTICES, 1990, 25 (10): : 77 - 88
- [4] Algebraic Semantics of an Imperative Programming Language [J]. Programming and Computer Software, 2003, 29 : 328 - 337
- [5] Turtle:: A constraint imperative programming language [J]. RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XX, 2004, : 185 - 198
- [7] PLEASE - A LANGUAGE COMBINING IMPERATIVE AND LOGIC PROGRAMMING [J]. SIGPLAN NOTICES, 1988, 23 (04): : 103 - 110
- [8] Clean translation of an imperative reversible programming language [J]. Lect. Notes Comput. Sci., 1600, (144-163):
- [9] Clean Translation of an Imperative Reversible Programming Language [J]. COMPILER CONSTRUCTION, 2011, 6601 : 144 - 163
- [10] Relating Declarative Hypermedia Objects and Imperative Objects through the NCL Glue Language [J]. DOCENG'09: PROCEEDINGS OF THE 2009 ACM SYMPOSIUM ON DOCUMENT ENGINEERING, 2009, : 222 - 230