Computer Languages, Volume 16

Volume 16, Number 1, 1991

David C. Rine: Introduction: Computer Languages: A Perspective. 1-3 BibTeX
Vijay K. Garg, C. V. Ramamoorthy: ConC: A Language for Concurrent Programming. 5-18 BibTeX
José P. Diaz-Gonzalez, Joseph E. Urban: Language Aspects of Envisager: An Object-Oriented Environment for the Specification of Real-Time Systems. 19-37 BibTeX
Marco Baldassari, Giorgio Bruno: Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems. 39-63 BibTeX
Kwei-Jay Lin, Swaminathan Natarajan: Flex: Towards Flexible Real-Time Programs. 65-79 BibTeX
Philip J. Hatcher: The Equational Specification of Efficient Compiler Code Generation. 81-95 BibTeX
James R. Cordy, Charles D. Halpern-Hamu, Eric Promislow: TXL: A Rapid Prototyping System for Programming Language Dialects. 97-107 BibTeX

Pei Hsia, David C. Rine: Introduction: Development of Computer Languages and Software. 109-111 BibTeX
Valdis Berzins: Black-Box Specification in Spec. 113-127 BibTeX
Henri E. Bal, Andrew S. Tanenbaum: Distributed Programming with Shared Data. 129-146 BibTeX
Michael Oudshoorn, Chris D. Marlin: A Layered, Operational Model of Data Control in Programming Languages. 147-165 BibTeX
Manuel E. Bermudez: A Unifying Model for Lookahead LR Parsing. 167-178 BibTeX
Carl McCrosky: Intermediate Container Removal. 179-195 BibTeX

James M. Purtilo, Pankaj Jalote: An Environment for Prototyping Distributed Applications. 197-207 BibTeX
Michael L. Scott: The Lynx Distributed Programming Language: Motivation, Design and Experience. 209-233 BibTeX
John Placer: The Multiparadigm Language G. 235-258 BibTeX
George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden: Modular Verification of Ada Generics. 259-280 BibTeX