Support for dynamic binding in strongly typed languages
ACM SIGPLAN Notices
Two-level grammars as a technique for formalizing programming schemes
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
ACM Transactions on Programming Languages and Systems (TOPLAS)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
ACM SIGPLAN Notices
Keywords: special identifier idioms
ACM SIGPLAN Notices
ACM Computing Surveys (CSUR)
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Process Communication Based on Input Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Flexible Notation for Syntactic Definitions
ACM Transactions on Programming Languages and Systems (TOPLAS)
An algorithm for the construction of bounded-context parsers
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
Computer science: a conceptual framework for curriculum planning
Communications of the ACM
Syntactic control of interference
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
A General Theory for Evolving Application Models
IEEE Transactions on Knowledge and Data Engineering
Data structures for CAD object description
DAC '81 Proceedings of the 18th Design Automation Conference
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
Some restrictions on W-grammars
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
ACM '69 Proceedings of the 1969 24th national conference
An interactive system for proving theorems in the predicate calculus
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Abstract types defined as classes of variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Some remarks on new instances and garbage collection
Proceedings of the Strathclyde ALGOL 68 conference
Algol 68 as an implementation language for portable interpreters
Proceedings of the Strathclyde ALGOL 68 conference
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
Syntactic definition mechanisms
Proceedings of the international symposium on Extensible languages
Data types and extensible languages
Proceedings of the international symposium on Extensible languages
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
The impact of language design on the production of reliable software
Proceedings of the international conference on Reliable software
Mechanical construction of type-checking predicates for extensible data types
ACM '74 Proceedings of the 1974 annual conference - Volume 1
LINUS: A structured language for instructional use
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
A formalised technique for expressing system exercisers
ACM SIGOPS Operating Systems Review
Prettyprinting styles for various languages
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
ACM SIGPLAN Notices
QUEST: the design of a very high level, pedagogic programming language
ACM SIGPLAN Notices
Ignorance of ALGOL 68 considered harmful
ACM SIGPLAN Notices
Parsing expression grammars: a recognition-based syntactic foundation
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LINUS: an experiment in language preprocessing
ACM SIGPLAN Notices
Programming languages for introductory computing courses: a position paper
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A formalised technique for expressing message generators
ACM SIGCOMM Computer Communication Review
An ISO-Representation for ALGOL 68
ALGOL Bulletin
The philosophy of an extensible language
ALGOL Bulletin
Revised Report of the Algorithmic Language Algol 68
ALGOL Bulletin
A short survey on the state of the art in matching and unification problems
ACM SIGSAM Bulletin
Algol 68 as an extensible language
ACM SIGPLAN Notices
Data structure models for programming languages
ACM SIGPLAN Notices
The contour model of block structured processes
ACM SIGPLAN Notices
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A Model for Control Structures for Artificial Intelligence Programming Languages
IEEE Transactions on Computers
Macros for context-free grammars
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
A translation grammar for ALGOL 68
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
Definition mechanisms in extensible programming languages
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
Some syntactic methods for specifying extendible programming languages
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference
Phrase structure grammars and natural languages
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
A model for control structures for artificial intelligence programming languages
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
On The Advantages of Tagged Architecture
IEEE Transactions on Computers
Methods for specifying static semantics
Computer Languages
| Hi-index | 0.07 |