Back to Search Start Over

Toward a complete transformational toolkit for compilers

Authors :
Bergstra, J.A.
Dinesh, T.B.
Field, J.
Heering, J.
Source :
ACM Transactions on Programming Languages & Systems. September, 1997, Vol. 19 Issue 5, p639, 46 p.
Publication Year :
1997

Abstract

PIM is an equational logic designed to function as a 'transformational toolkit' for compilers and other programming tools that analyze and manipulate imperative languages. It has been applied to such […]

Details

Language :
English
ISSN :
01640925
Volume :
19
Issue :
5
Database :
Gale General OneFile
Journal :
ACM Transactions on Programming Languages & Systems
Publication Type :
Academic Journal
Accession number :
edsgcl.20447665