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
Volume 17, Number 2, 1992
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
Volume 17, Number 3, 1992
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
Volume 17, Number 4, 1992
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
Copyright ©
Sat May 16 23:52:48 2009 by
Michael Ley
(
ley@uni-trier.de
)