From Programs to Object Code using Logic and Logic Programming-Reference-Cited by-同舟云学术

From Programs to Object Code using Logic and Logic Programming

Published:1992 Issue: Volume: Page:173-192
ISSN:1431-1682
Container-title:Code Generation — Concepts, Tools, Techniques
language:
Short-container-title:

Author:

Bowen Jonathan

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3501-2_10

Reference29 articles.

1. Hoare CAR. Refinement algebra proves correctness of compiling specifications. In: Morgan CC, Woodcock JCP (eds) 3rd Refinement Workshop. Springer-Verlag, 1991, pp 33–48 (Workshops in computing)

2. He Jifeng. Specification oriented semantics for the ProCoS level 0 language. ESPRIT BRA ProCoS project document [OU HJF 5], Oxford University Computing Laboratory, UK, 1990

3. INMOS Limited. Occam 2 Reference Manual. Prentice Hall International Series in Computer Science, 1988

4. INMOS Limited. Transputer instruction set: A compiler writer’s guide. Prentice-Hall International, 1988

5. Roscoe AW, Hoare CAR. Laws of occam programming. Theoretical Comput Sci 1988; 60: 177–229

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

1. A prettier compiler-compiler: Generating higher-order parsers in C;Software: Practice and Experience;1995-11

2. Specification, Verification and Prototyping of an Optimized Compiler;Formal Aspects of Computing;1994-12

3. Bibliography;Towards Verified Systems;1994

4. A compendium of formal techniques for software maintenance;Software Engineering Journal;1993

5. From programs to object code and back again using logic programming: Compilation and decompilation;Journal of Software Maintenance: Research and Practice;1993