Comput. Lang.

Keyphrases

Publications

volume 27, number 1/3, 2001

Rob C. van Ommering, René L. Krikhaar, Loe M. G. Feijs
Languages for formalizing, visualizing and verifying software architectures. Comput. Lang. 27 (1/3) (2001)
Sjouke Mauw
Introduction by the guest editor. Comput. Lang. 27 (1/3) (2001)
Paul Oude Luttighuis, Marc M. Lankhorst, R. G. van de Wetering, René Bal, Harmen van den Berg
Visualising business processes. Comput. Lang. 27 (1/3) (2001)
Martin Fränzle, Karsten Lüth
Visual temporal logic as a rapid prototyping tool. Comput. Lang. 27 (1/3) (2001)
Florence Maraninchi, Yann Rémond
Argos: an automaton-based synchronous language. Comput. Lang. 27 (1/3) (2001)
Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens
Object-oriented modelling and specification using SHE. Comput. Lang. 27 (1/3) (2001)
Nikolai Mansurov
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. Comput. Lang. 27 (1/3) (2001)

volume 27, number 4, 2001

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
LAILA: a language for coordinating abductive reasoning among logic agents. Comput. Lang. 27 (4) (2001)
Franz Puntigam
State inference for dynamically changing interfaces. Comput. Lang. 27 (4) (2001)

volume 26, number 1, 2000

Annalisa Bossi, Sandro Etalle, Sabina Rossi
Semantics of well-moded input-consuming logic programs. Comput. Lang. 26 (1) (2000)
Guy Tremblay, Bruno Malenfant
Lenient evaluation and parallelism. Comput. Lang. 26 (1) (2000)
Guy Tremblay
Lenient evaluation is neither strict nor lazy. Comput. Lang. 26 (1) (2000)

volume 26, number 2-4, 2000

volume 25, number 1, 1999

volume 25, number 2, 1999

volume 25, number 3, 1999

volume 25, number 4, 1999

Antonio Brogi, Chiara Renso, Franco Turini
Dynamic composition of parameterised logic modules. Comput. Lang. 25 (4) (1999)
Krishnaprasad Thirunarayan, Günter Kniesel, Haripriyan Hampapuram
Simulating multiple inheritance and generics in Java. Comput. Lang. 25 (4) (1999)

volume 24, number 1, 1998

Daniel E. Cooke
SequenceL Provides a Different Way to View Programming. Comput. Lang. 24 (1) (1998)
Christoph W. Keßler
Scheduling Expression DAGs for Minimal Register Need. Comput. Lang. 24 (1) (1998)

volume 24, number 2, 1998

Pierpaolo Degano, Corrado Priami
LR Techniques for Handling Syntax Errors. Comput. Lang. 24 (2) (1998)
Owen Kaser, C. R. Ramakrishnan
Evaluating Inlining Techniques. Comput. Lang. 24 (2) (1998)
Muhammed Al-Mulhem, Shahid Ali
Formal Semantics of Visual Occam. Comput. Lang. 24 (2) (1998)

volume 24, number 3, 1998

Stéphane Vialle, Yannick Lallement, Thierry Cornu
Design and Implementation of a Parallel Cellular Language for MIMD Architectures. Comput. Lang. 24 (3) (1998)
Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos
and its Applications. Comput. Lang. 24 (3) (1998)
Bharat Jayaraman, Kannan Govindarajan, Surya Mantha
Preference Logic Grammars. Comput. Lang. 24 (3) (1998)

volume 24, number 4, 1998

volume 23, number 1, 1997

Muhammed Al-Mulhem, Shahid Ali
Visual Occam: Syntax and Sematics. Comput. Lang. 23 (1) (1997)
Alexander Romaovsky
Practical Exception Handling and Resolution in Concurrent Programs. Comput. Lang. 23 (1) (1997)
J. H. M. Lee, P. K. C. Pun
Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language. Comput. Lang. 23 (1) (1997)

volume 23, number 2-4, 1997

volume 22, number 4, 1996

Ming-Dong Feng, Weng-Fai Wong, Chung-Kwong Yuen
BaLinda Lisp: Design and Implementation. Comput. Lang. 22 (4) (1996)