From programs to object code and back again using logic programming: Compilation and decompilation
- 1 January 1993
- journal article
- research article
- Published by Wiley in Journal of Software Maintenance: Research and Practice
- Vol. 5 (4) , 205-234
- https://doi.org/10.1002/smr.4360050403
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- An approach to verifiable compiling specification and prototypingPublished by Springer Nature ,2005
- Safety-critical systems, formal methods and standardsSoftware Engineering Journal, 1993
- Creating specifications from code: Reverse-engineering techniquesJournal of Software Maintenance: Research and Practice, 1991
- Prolog in Practical Compiler WritingThe Computer Journal, 1991
- An introduction to Prolog IIICommunications of the ACM, 1990
- Constraint logic programming languagesCommunications of the ACM, 1990
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- Clausal intuitionistic logic I. fixed-point semanticsThe Journal of Logic Programming, 1988
- The space shuttle primary computer systemCommunications of the ACM, 1984
- Logic programming and compiler writingSoftware: Practice and Experience, 1980