2. ICCL 1988: Miami, Florida, USA

• Weichang Du, William W. Wadge:
  An intentional language as the basis of a 3-D spreadsheet design. 2-9
  
• Yen-Teh Hsia, Allen L. Ambler:
  Programming through pictorial transformations. 10-16
  
• Manuel E. Bermudez:
  A unifying model for lookahead LR parsing. 18-24
  
• Philip J. Hatcher, J. W. Tuller:
  Efficient retargetable compiler code generation. 25-30
  
• Fred Grossman, Robert J. Klerer, Melvin Klerer:
  A language for high-level programming of mathematical applications. 31-40
  
• Gurdeep S. Hura, M. A. Costarellam C. G. Buell, M. M. Cvetanovic:
  PNSOFT: a menu-driven software package for Petri-net modeling and analysis. 41-47
  
• Rajive Bagrodia, K. Mani Chandy:
  Programming the Connection Machine. 50-57
  
• C. Mally:
  Structure and generation of computer languages. 58-64
  
• Pierre Jouvelot, David K. Gifford:
  The FX-87 Interpreter. 65-72
  
• V. J. de Jong:
  Symbolic dimension bound checking in a matrix language. 73-80
  
• Henri E. Bal, Andrew S. Tanenbaum:
  Distributed programming with shared data. 82-91
  
• Vijay K. Garg, C. V. Ramamoorthy:
  High level communication primitives for concurrent systems. 92-99
  
• Michael J. Oudshoorn, Chris D. Marlin:
  Describing data control in programming languages. 100-109
  
• Teodor Rus, J. P. Le Peau:
  Language specification by multi-axiom grammars. 110-118
  
• J. C. Hwang, M. W. Du, C. R. Chou:
  The influence of language semantics on program slices. 120-127
  
• Mostafa A. Bassiouni, Mark J. Llewellyn:
  Generalized logical operators for temporal languages. 128-134
  
• Carl McCrosky:
  The elimination of intermediate containers in the evaluation of first-class array expressions. 135-142
  
• R. F. Kamel, N. D. Gammage:
  Experience with Rendezvous [tasking and communication model]. 143-149
  
• H. Herath:
  Languages in electrotechnical laboratory's dataflow machines. 150-157
  
• C. K. Chang, John W. Brackett, A. M. Davis, P. C. Grabon, T. Haizuka, P. Hsia:
  Specification languages-assessment and trends. 160-165
  
• Saul Amarel:
  On the representation of problems in artificial intelligence. 168
  
• S. A. DiNitto Jr.:
  Future directions in programming languages. 169-176
  
• Raymond T. Yeh:
  Report on a business definition language system. 177-183
  
• Mamdouh H. Ibrahim, Fred A. Cummins:
  KSL: a reflective object-oriented programming language. 186-193
  
• Tim Sheard, David W. Stemple:
  The precise control of inheritance and the inheritance of theory in the ADABTPL language. 194-201
  
• Y. Zhong, S. Ishizuka, R. Enari:
  Integrating abstract data types with object-oriented programming by specification-based approach. 202-209
  
• J. P. Diaz-Gonzales, Joseph E. Urban:
  Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems. 214-225
  
• Marco Baldassari, V. Berti, Giorgio Bruno:
  Object-oriented conceptual programming based on PROT nets. 226-233
  
• Rodney S. Tosten:
  Data security in an object-oriented environment such as Smalltalk-80. 234-241
  
• Harry Wechsler, David C. Rine:
  Object oriented programming (OOP) and its relevance to designing intelligent software systems. 242-248
  
• Scott A. Vorthmann, Richard J. LeBlanc:
  A naming specification language for syntax-directed editors. 250-257
  
• Carl K. Chang, Tsang Ming Jiang, Mikio Aoyama:
  A specification language for real-time distributed systems. 258-265
  
• Valdis Berzins:
  The design of software interfaces in Spec. 266-270
  
• S. Natarajan, K.-J. Lin:
  FLEX: towards flexible real-time programs. 272-279
  
• James R. Cordy, Charles D. Halpern-Hamu, Eric Promislow:
  TXL: a rapid prototyping system for programming language dialects. 280-285
  
• P. J. Pulli:
  Execution of structured analysis specifications with an object oriented Petri net approach. 286-293
  
• Janice I. Glasgow, Michael A. Jenkins:
  Array theory, logic and the Nial language. 296-303
  
• Forouzan Golshani, W. T. Scott, P. D. White:
  Languages for intelligent specification systems. 304-311
  
• K. Mani Chandy:
  Programming parallel computers. 314-321
  
• Stephen S. Yau, Xiaoping Jia:
  Visual languages and software specifications. 322-328
  
• Philip R. Thrift:
  Common Lisp relations: an extension of Lisp for logic programming. 332-337
  
• Richard C. Waters:
  Using obviously synchronizable series expressions instead of loops. 338-346
  
• Thom W. Frühwirth:
  Type inference by program transformation and partial evaluation. 347-354
  
• Samuel O. Aletan, William Lively:
  Architectural design methodology for supporting high level programming languages. 356-363
  
• Nazim H. Madhavji, Jules Desharnais, L. Pinsonneault, Kamel Toubache:
  Adapting modules to an integrated programming environment. 364-371
  
• Nikolaos G. Bourbakis:
  Specifications for the development of a software environment for evaluation and translation of assembly languages. 372-378
  
• M. H. Kim, Young-Chul Shim, C. V. Ramamoorthy:
  APAS: the Ada Programming Assistant System. 379-386
  
• Yen-Chun Lin, Ferng-Ching Lin:
  The use of aFP to design regular array algorithms. 388-395
  
• Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene:
  Using higher order logic and functional languages to synthesize correct hardware. 396-403
  
• C. Y. Roger Chen:
  TOBOL - a new methodology for the top-to-bottom level hardware description in VLSI design-automation systems. 404-411
  
• Jeffrey J. P. Tsai, Thomas J. Weigert, M. Aoyama:
  A declarative approach to software requirement specification languages. 414-421
  
• J. G. Snodgrass, David Y. Y. Yun:
  Software requirements specification from a cognitive psychology perspective. 422-430
  
• W. P. Yin, Murat M. Tanik, David Y. Y. Yun:
  Software design representation: design object descriptive attribute notation (DODAN). 431-436
  
• Imran A. Zualkernan, Wei-Tek Tsai:
  Are knowledge representations the answer to requirement analysis? 437-443