Random-Access Stored-Program Machines, an Approach to Programming Languages
Journal of the ACM (JACM)
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
Semantic evaluation from left to right
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
Production systems: or can we do better than BNF
Communications of the ACM
Generating parsers for affix grammars
Communications of the ACM
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
Complementary Definitions of Programming Language Semantics
Complementary Definitions of Programming Language Semantics
Attributed translations(Extended Abstract)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
Dost: an environment to support automatic generation of user interfaces
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using formal grammars to encode expert problem solving knowledge
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
Writing a compilers compiler in APL
APL '98 Proceedings of the APL98 conference on Array processing language
Surveyor's Forum: An Amplification on Hydra's Capabilities
ACM Computing Surveys (CSUR)
Surveyor's Forum: A Criticism of Sampler
ACM Computing Surveys (CSUR)
Surveyor's Forum: A Criticism of Sampler
ACM Computing Surveys (CSUR)
Corrigendum: “A Sampler of Formal Definitions”
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Flexible Notation for Syntactic Definitions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Considerations for future programming language standards activities
Communications of the ACM
A specification language for one-pass semantic analysis
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Systematically derived instruction sets for high-level language support
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
How to define a language using PROLOG
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Attribute grammars and data-flow languages
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Compiler construction using attribute grammars
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
An attribute description of a subset of Algol 68
Proceedings of the Strathclyde ALGOL 68 conference
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Document structure and modularity in mentor
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ACM SIGPLAN Notices
Beyond PROLOG: software specification by grammar
ACM SIGPLAN Notices
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
A preprocessor for YACC or a poor man's approach to parsing attributed grammars
ACM SIGPLAN Notices
Towards the validation of plagiarism detection tools by means of grammar evolution
IEEE Transactions on Evolutionary Computation
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Type checking evolving languages with MSOS
Semantics and algebraic specification
Methods for specifying static semantics
Computer Languages
Dispel: A run-time debugging language
Computer Languages
Hi-index | 0.02 |