Abstract is missing.
- Model Checking and Boolean GraphsHenrik Reif Andersen. 1-19
- SIGNAL as a Model for Real-Time and Hybrid SystemsAlbert Benveniste, Michel Le Borgne, Paul Le Guernic. 20-38
- Towards an Adequate Notion of ObservationGilles Bernot, Michel Bidoit, Teodor Knapik. 39-55
- Proving Safety of Speculative Load Instructions at Compile TimeDavid Bernstein, Michael Rodeh, Shmuel Sagiv. 56-72
- Typed NormsAnnalisa Bossi, Nicoletta Cocco, Massimo Fabris. 73-92
- Compositional Refinements in Multiple Blackboard SystemsX. J. Chen, Carlo Montangero. 93-109
- Fully Persistent Arrays for Efficient Incremental Updates and Voluminous ReadsTyng-Ruey Chuang. 110-129
- Back to Direct StyleOlivier Danvy. 130-150
- Extraction of Strong Typing Laws from Action Semantics DefinitionsKyung-Goo Doh, David A. Schmidt. 151-166
- Detecting Determinate Computations by Bottom-up Abstract InterpretationRoberto Giacobazzi, Laura Ricci. 167-181
- ELIOS-OBJ Theorem Proving in a Specification LanguageIsabelle Gnaedig. 182-199
- Incremental Garbage Collection Without TagsBenjamin Goldberg. 200-218
- Approximate Fixed Points in Abstract InterpretationChris Hankin, Sebastian Hunt. 219-232
- Dynamic TypingFritz Henglein. 233-253
- Automatic Parallelization of Lazy Functional ProgramsGuido Hogen, Andrea Kindler, Rita Loogen. 254-268
- Reversing Abstract InterpretationsJohn Hughes, John Launchbury. 269-286
- A Theory of Qualified TypesMark P. Jones. 287-306
- A Semantics for Multiprocessor SystemsPadmanabhan Krishnan. 307-320
- Interprocedural Type Propagation for Object-Oriented LanguagesJean-Marie Larchevêque. 321-340
- Using the Centaur System to for Data-Parallel SIMD Programming: A Case StudyJean-Luc Levaire. 341-350
- The Tensor Product in Wadler s Analysis of ListsFlemming Nielson, Hanne Riis Nielson. 351-370
- Basic Superposition is CompleteRobert Nieuwenhuis, Albert Rubio. 371-389
- Observers for Linear TypesMartin Odersky. 390-407
- Type Inference for Partial Types is DecidablePatrick O Keefe, Mitchell Wand. 408-417
- A Provably Correct Compiler GeneratorJens Palsberg. 418-434
- An Adequate Operational Semantics for Sharing in Lazy EvaluationS. Purushothaman, Jill Seaman. 435-450
- Modules for an Model-Oriented Specification Language: A Proposal for MetaSoftAndrzej Tarlecki. 451-472
- Typing References by Effect InferenceAndrew K. Wright. 473-491