共 50 条
- [41] Automatic implementation of programming language consistency models LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2005, 2481 : 172 - 187
- [44] Implementation of a Plausible Reasoning in the Prolog Programming Language Automatic Documentation and Mathematical Linguistics, 2023, 57 : 166 - 171
- [46] Design and Implementation of Cafe: a Programming Language for Beginners ICDCS: 2009 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, 2009, : 368 - 373
- [47] Using LLVM for a Functional Programming Language Implementation INFORMATION MODELLING AND KNOWLEDGE BASES XXIII, 2012, 237 : 362 - 368
- [50] Efficient implementation of a Linear Logic programming language LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 145 - 159