PROCOMET 1998:
Shelter Island, NY, USA
David Gries, Willem P. de Roever (Eds.):
Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA.
IFIP Conference Proceedings 125 Chapman & Hall 1998, ISBN 0-412-83760-9
- K. Rustan M. Leino:
Extended static checking.
1-2

- Carl-Johan H. Seger:
From lattices to practical formal hardware verification.
3-4

- David Scott Warren:
Programming with tabling in XSB.
5-6

- Werner Damm:
Verifying electronic control unit: today and tomorrow.
7-8

- David Gries:
Teaching calculational logic.
9-10

- Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries:
Types for trees.
11-29

- O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca:
Structures for lazy semantics.
30-48

- Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp:
A proof theory of asynchronously communicating sequential processes.
49-67

- Michele Boreale, Cédric Fournet, Cosimo Laneve:
Bisimulations in the join-calculus.
68-86

- Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero:
Using state space exploration and a natural deduction style message derivation engine to verify security protocols.
87-106

- Karl Crary:
Programming language semantics in foundational type theory.
107-125

- Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma:
An algebraic approach to the specification of stochastic systems.
126-147

- Ewen Denney:
Refinement types for specification.
148-166

- A. J. M. van Gasteren, A. Bijlsma:
An extension of the program derivation format.
167-185

- Ian J. Hayes, Mark Utting:
Deadlines are termination.
186-204

- Wim H. Hesselink:
The design of a linearization of a concurrent data object.
205-224

- Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore:
Final semantics for the pi-calculus.
225-243

- Michael Huth, Marta Z. Kwiatkowska:
Comparing CTL and PCTL on labeled Markov chains.
244-262

- Richard B. Kieburtz:
Reactive functional programming.
263-284

- Josva Kleist, Davide Sangiorgi:
Imperative objects and mobile processes.
285-303

- Orna Kupferman, Moshe Y. Vardi:
Relating linear and branching model checking.
304-326

- Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Verifying duration properties of timed transition systems.
327-345

- David A. Naumann:
Towards squiggly refinement algebra.
346-365

- Paritosh K. Pandya, H.-P. Wang, Qiwen Xu:
Toward a theory of sequential hybrid programs.
366-384

- Cécile Péraire, Stéphane Barbey, Didier Buchs:
Test selection for object-oriented software based on formal specifications.
385-403

- Arnd Poetzsch-Heffter, Peter Müller:
Logical foundations for typed object-oriented languages.
404-423

- Shaz Qadeer, Natarajan Shankar:
Verifying a self-stabilizing mutual exclusion algorithm.
424-443

- Z. Qiu, C. Zhou:
A combination of interval logic and linear temporal logic.
444-461

- Axel Wabenhorst:
A model of real-time distributed systems.
462-482

Last update Fri May 17 15:59:09 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page