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 BibTeX
@proceedings{DBLP:conf/procomet/1998,
editor = {David Gries and
Willem P. de Roever},
title = {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},
booktitle = {PROCOMET},
publisher = {Chapman {\&} Hall},
series = {IFIP Conference Proceedings},
volume = {125},
year = {1998},
isbn = {0-412-83760-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- K. Rustan M. Leino:
Extended static checking.
1-2 BibTeX
- Carl-Johan H. Seger:
From lattices to practical formal hardware verification.
3-4 BibTeX
- David Scott Warren:
Programming with tabling in XSB.
5-6 BibTeX
- Werner Damm:
Verifying electronic control unit: today and tomorrow.
7-8 BibTeX
- David Gries:
Teaching calculational logic.
9-10 BibTeX
- Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries:
Types for trees.
11-29 BibTeX
- O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca:
Structures for lazy semantics.
30-48 BibTeX
- Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp:
A proof theory of asynchronously communicating sequential processes.
49-67 BibTeX
- Michele Boreale, Cédric Fournet, Cosimo Laneve:
Bisimulations in the join-calculus.
68-86 BibTeX
- 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 BibTeX
- Karl Crary:
Programming language semantics in foundational type theory.
107-125 BibTeX
- Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma:
An algebraic approach to the specification of stochastic systems.
126-147 BibTeX
- Ewen Denney:
Refinement types for specification.
148-166 BibTeX
- A. J. M. van Gasteren, A. Bijlsma:
An extension of the program derivation format.
167-185 BibTeX
- Ian J. Hayes, Mark Utting:
Deadlines are termination.
186-204 BibTeX
- Wim H. Hesselink:
The design of a linearization of a concurrent data object.
205-224 BibTeX
- Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore:
Final semantics for the pi-calculus.
225-243 BibTeX
- Michael Huth, Marta Z. Kwiatkowska:
Comparing CTL and PCTL on labeled Markov chains.
244-262 BibTeX
- Richard B. Kieburtz:
Reactive functional programming.
263-284 BibTeX
- Josva Kleist, Davide Sangiorgi:
Imperative objects and mobile processes.
285-303 BibTeX
- Orna Kupferman, Moshe Y. Vardi:
Relating linear and branching model checking.
304-326 BibTeX
- Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Verifying duration properties of timed transition systems.
327-345 BibTeX
- David A. Naumann:
Towards squiggly refinement algebra.
346-365 BibTeX
- Paritosh K. Pandya, H.-P. Wang, Qiwen Xu:
Toward a theory of sequential hybrid programs.
366-384 BibTeX
- Cécile Péraire, Stéphane Barbey, Didier Buchs:
Test selection for object-oriented software based on formal specifications.
385-403 BibTeX
- Arnd Poetzsch-Heffter, Peter Müller:
Logical foundations for typed object-oriented languages.
404-423 BibTeX
- Shaz Qadeer, Natarajan Shankar:
Verifying a self-stabilizing mutual exclusion algorithm.
424-443 BibTeX
- Z. Qiu, C. Zhou:
A combination of interval logic and linear temporal logic.
444-461 BibTeX
- Axel Wabenhorst:
A model of real-time distributed systems.
462-482 BibTeX
Copyright © Sat May 16 23:35:12 2009
by Michael Ley (ley@uni-trier.de)