Journal ArticleDOI
Revised Report on the Algorithmic Language ALGOL 68, Ed. by A. van Wijngaarden, B. J. Mailloux, J. E. L. Peck, C. H. A. Koster, M. Sintzoff, C. H. Lindsey, L. G. L. T. Meertens, R. G. Fisker, Berlin-Heidelberg-New York. Springer-Verlag. 1976. 236 S., DM 24,—. US $ 9.90
Reads0
Chats0
About:
This article is published in Zamm-zeitschrift Fur Angewandte Mathematik Und Mechanik.The article was published on 1978-01-01. It has received 32 citations till now. The article focuses on the topics: ALGOL 68.read more
Citations
More filters
Journal ArticleDOI
Concepts and Notations for Concurrent Programming
TL;DR: This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs and three general classes of concurrent programming languages are identified and compared.
Journal ArticleDOI
Algebraic specification of data types: A synthetic approach
Daniel Lehmann,Michael B. Smyth +1 more
TL;DR: The present work adds operations to the data types proposed by Scott and proposes an alternative to the equational specifications proposed by Guttag, Guttag and Horning and ADJ.
Journal ArticleDOI
Generation of formatters for context-free languages
Mark van den Brand,Eelco Visser +1 more
TL;DR: In this article, the authors present an algebraic approach to the generation of tools that produce typographically effective presentations of computer programs, where a specification of a formatter is generated from the context-free grammar of a programming language.
Book ChapterDOI
Datatype-generic programming
TL;DR: This lecture notes expands on the definition of datatype-generic programming, and explores the connection with design patterns in object-oriented programming; in particular, it is argued that certain design patterns are just higher-order datatypes-generic programs.
Book
Formal syntax and semantics of programming languages
TL;DR: Syntax Trees Those qualities of a BNF definition that make parsing possible also create a resulting derivation tree containing far more information than necessary for a semantic specification.