Abstract is missing.
- Towards a Meaning of M in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial)Dines Bjørner. 1-35
- Algebraic Specification and Fundamentals for Transformational Program and Meta Program DevelopmentBernd Krieg-Brückner. 36-59
- On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract)Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. 60
- Specifying Avalon Objects in LarchJeannette M. Wing. 61-80
- A Self-Applicable Partial Evaluator for Term Rewriting SystemsAnders Bondorf. 81-95
- Verifying Correctness of Logic ProgramsAnnalisa Bossi, Nicoletta Cocco. 96-110
- Specifying the Behavior of Graphical Objects Using EsterelDominique Clément, Janet Incerpi. 111-125
- A Preprocessor Based Module System for PrologRoland Dietrich. 126-139
- Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC ProtocolManuel Duque-Antón, M. Bretschneider. 140-154
- Compilation of Lambda-Calculus into Functional Machine CodePascal Fradet, Daniel Le Métayer. 155-166
- Polymorphic Subtype Inference: Closing the Theory-Practice GapYou-Chin Fuh, Prateek Mishra. 167-183
- FACILE: A Symmetric Integration of Concurrent and Functional ProgrammingAlessandro Giacalone, Prateek Mishra, Sanjiva Prasad. 184-209
- Development of Concurrent Programs: An ExampleE. Pascal Gribomont. 210-224
- Horn Clause Programs with Polymorphic Types: Semantics and ResolutionMichael Hanus. 225-240
- Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft)Robert Harper, Robert Pollack. 241-256
- Is Type Checking Practical for System Configuration?Paola Inverardi, Simone Martini, Carlo Montangero. 257-271
- An Introduction to PSFdSjouke Mauw, Gert J. Veltink. 272-285
- Processes and FunctionsSilvio Romero de Lemos Meira. 286-297
- Binding Time Analysis for Polymorphically Typed Higher Order LanguagesTorben Æ. Mogensen. 298-312
- A Fine Grain Parallel Implementation of PARLOGGeorge A. Papadopoulos. 313-327
- Specification and Verification of TCSP Systems by Means of Partial Abstract Data TypesRicardo Pena, Luis M. Alonso. 328-344
- LEAP: A Language with Eval And PolymorphismFrank Pfenning, Peter Lee. 345-359
- The Semantics of Program Slicing and Program IntegrationThomas W. Reps, Wuu Yang. 360-374
- Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)Donald Sannella, Andrzej Tarlecki. 375-389