Code selection through object code optimization
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Experience with a software-defined machine architecture
ACM Transactions on Programming Languages and Systems (TOPLAS)
XIL and YIL: the intermediate languages of TOBEY
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Efficient and language-independent mobile programs
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
A Translator-Oriented Symbolic Programming Language
Journal of the ACM (JACM)
A Formalism for Program Translation
Journal of the ACM (JACM)
Contemporary Concepts of Microprogramming and Emulation
ACM Computing Surveys (CSUR)
Retargetable Compiler Code Generation
ACM Computing Surveys (CSUR)
A formalism for translator interactions
Communications of the ACM
Communications of the ACM
Machine independence: its technology and economics
Communications of the ACM
A alternate form of the “UNCOL diagram”
Communications of the ACM
Communications of the ACM
A new method for compiler code generation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
OPA: a new architecture for Pascal-like languages
ACM SIGARCH Computer Architecture News
Towards an Algebraic Specification of the Java Virtual Machine
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
Construction of a transportable, multi-pass compiler for extended Pascal
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Methodology for transferring programs and data
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
The reflective nitrO abstract machine
ACM SIGPLAN Notices
Conversion technology, an assessment
ACM SIGMIS Database
A Mobile Computational model for Internet programming
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Experience with extensible, portable Fortran extensions
ACM SIGPLAN Notices
ICODE: enabling the static checking of programs and their documentation
SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
AFIPS '61 (Eastern) Proceedings of the December 12-14, 1961, eastern joint computer conference: computers - key to total systems control
Software compatibility: what was promised, what we have, what we need
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
Software: historical perspectives and current trends
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
The history of language processor technology in IBM
IBM Journal of Research and Development
Automatically generating instruction selectors using declarative machine descriptions
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
| Hi-index | 48.30 |