Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
A proposal for input-output conventions in ALGOL 60
Communications of the ACM
The next 700 programming languages
Communications of the ACM
AXLE2: an axiomatic language for string transformations
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Considerations for future programming language standards activities
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
Communications of the ACM
From algebras to programming languages
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
Automating introductory computer science courses
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
Modeling the binding policies of programming languages
ACM '79 Proceedings of the 1979 annual conference
The ART of compiler construction projects
ACM SIGPLAN Notices
Variables: bindings and protection
ACM SIGPLAN Notices
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Teaching programming and language concepts using LEGOs®
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
The automation of introductory computer science courses
ACM SIGCUE Outlook
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Natural language programming: styles, strategies, and contrasts
IBM Systems Journal
Mini-languages revisited: programming language concepts
Journal of Computing Sciences in Colleges
| Hi-index | 0.05 |
The proliferation of programming languages has raised many issues of language design, definition, and implementation. This paper presents a series of ten mini-languages, each of which exposes salient features found in existing programming languages. The value of the mini-languages lies in their brevity of description and the isolation of important linguistic features: in particular, the notions of assignment, transfer of control, functions, parameter passing, type checking, data structures, string manipulation, and input/output. The mini-languages may serve a variety of uses: notably, as a pedagogical tool for teaching programming languages, as a subject of study for the design of programming languages, and as a set of test cases for methods of language implementation or formal definition.