From programs to object code and back again using logic programming: Compilation and decompilation-Reference-Cited by-同舟云学术

From programs to object code and back again using logic programming: Compilation and decompilation

Published:1993 Issue:4 Volume:5 Page:205-234
ISSN:1040-550X
Container-title:Journal of Software Maintenance: Research and Practice
language:en
Short-container-title:J. Softw. Maint: Res. Pract.

Author:

Bowen Jonathan

Publisher

Wiley

Subject

General Computer Science

Reference47 articles.

1. (1992) ‘Trusted computing systems’, in Proceedings 14th International Conference on Software Engineering (ICSE), Melbourne, Australia, 11–14 May 1992, North-Holland, Amsterdam.

2. and (1993) ‘Provably correct systems’, ProCoS Project Technical Report, Department of Computer Science, DTH, Lyngby, Denmark.

3. (1992) ‘From programs to object code using logic and logic programming’, in and (Eds), Code Generation—Concepts, Tools, Techniques, Proceedings International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991, Workshops in Computing, Springer-Verlag, Berlin, pp. 173–192.

4. Real-Time Saf;Bowen,1993

5. and (1992) ‘Occam's razor: the cutting edge of parser technology’, in Proceedings TOULOUSE 92: Fifth International Conference on Software Engineering and its Applications, Toulouse, France, 7–11 December 1992.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Methods Communities of Practice: A Survey of Personal Experience;Lecture Notes in Computer Science;2022

2. Reversible Language Extensions and Their Application in Debugging;Practical Aspects of Declarative Languages;2013

3. A Symmetric Approach to Compilation and Decompilation;Lecture Notes in Computer Science;2002

4. Correctness of compiling Occam to transputer code;The Computer Journal;1996-01-01

5. A reformulation technique and tool for knowledge interchange during knowledge acquisition;International Journal of Human-Computer Studies;1995-08