Computer Languages, Volume 16

Volume 16, Number 1, 1991

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

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

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