Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	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 1998
DBLP:	db/conf/procomet/procomet1998.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 29  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries. Types for trees.	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 1998	(0)	1998
	Conference paper O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca. Structures for lazy semantics.	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 1998	(0)	1998
	Conference paper Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp. A proof theory of asynchronously communicating sequential processes.	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 1998	(0)	1998
	Conference paper Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero. Using state space exploration and a natural deduction style message derivation engine to verify security protocols.	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 1998	(0)	1998
	Conference paper Karl Crary. Programming language semantics in foundational type theory.	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 1998	(0)	1998
	Conference paper Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma. An algebraic approach to the specification of stochastic systems.	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 1998	(0)	1998
	Conference paper Werner Damm. Verifying electronic control unit: today and tomorrow.	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 1998	(0)	1998
	Conference paper Ewen Denney. Refinement types for specification.	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 1998	(0)	1998
	Conference paper A. J. M. van Gasteren, A. Bijlsma. An extension of the program derivation format.	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 1998	(0)	1998
	Conference paper David Gries. Teaching calculational logic.	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 1998	(0)	1998

Show item 1 to 10 of 29  

Your query returned 29 matches in the database.