Decompilation: the enumeration of types and grammars
- 1 September 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 16 (5) , 1613-1647
- https://doi.org/10.1145/186025.186093
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Safety-critical systems, formal methods and standardsSoftware Engineering Journal, 1993
- From programs to object code and back again using logic programming: Compilation and decompilationJournal of Software Maintenance: Research and Practice, 1993
- Demonstrating Equivalence of Source Code and PROM ContentsThe Computer Journal, 1993
- From Programs to Object Code using Logic and Logic ProgrammingPublished by Springer Nature ,1992
- Creating specifications from code: Reverse-engineering techniquesJournal of Software Maintenance: Research and Practice, 1991
- From Programs to Z SpecificationsPublished by Springer Nature ,1990
- An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming LanguagePublished by Springer Nature ,1990
- The verification of low-level codeSoftware Engineering Journal, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Attribute grammars as a functional programming paradigmPublished by Springer Nature ,1987