Computer Languages, Volume 17

Volume 17, Number 1, 1992

Linda Weiser Friedman: From Babbage to Babel and Beyond: A Brief History of Programming Languages. 1-17 BibTeX
Ching-Lin Wang: A Continuation-Based Language Embedded in Scheme. 19-37 BibTeX
Eric Salzman: Activity Simulation in Modula-2: An Exercise in Language Extension. 39-60 BibTeX
David T. Barnard, David B. Skillicorn: Context-Free Parsing on O(n) Processors. 61-66 BibTeX
Claudio Sergio Da Rós de Carvalho, Tomasz Kowaltowski: On Open Arrays and Variable Number of Parameters. 67-74 BibTeX
Pankaj Jalote: Specification and Testing of Abstract Data Types. 75-82 BibTeX

Shmuel Rotenstreich: Orthogonal Languages: A Framework for Program Development. 83-100 BibTeX
Noureddine Boudriga, Ali Mili, R. Zalila, Fatma Mili: A Relational Model for the Specification of Data Types. 101-131 BibTeX
Bharat Jayaraman: Sublist Assertions for Listless and Lazy Evaluation. 133-146 BibTeX
Heidi E. Myers, James M. Purtilo: Interface Type Checking of Large C Applications. 147-154 BibTeX

Tim Sheard, David W. Stemple: Inheritance of Theory in the Adabtpl Language. 157-167 BibTeX
Robert J. Klerer, Melvin Klerer, Fred Grossman: A Language for Automated Programming of Mathematical Applications. 169-184 BibTeX
Mostafa A. Bassiouni, Mark J. Llewellyn: A Relational-Calculus Query Language for Historical Databases. 185-197 BibTeX
Jason Jen-Yen Chen, Pei Hsia: MDL (Methodology Definition Language): A Language for Defining and Automating Software Development Processes. 199-211 BibTeX

Paolo Ciancarini: Parallel Programming with Logic Languages: A Survey. 213-239 BibTeX
Husheng Liao: Removing Partial Parametrization for Efficient Implementation of Functional Languages. 241-250 BibTeX
Marc Feeley, Guy Lapalme: Closure Generation Based on Viewing Lambda as Epsilon Plus Compile. 251-267 BibTeX
Ronald A. Olsson, Carole M. McNamee: Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms. 269-282 BibTeX