Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

This book constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP 2001, held in Genova, Italy in April 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from a total of 76 submissions. Among the topics co...

Full description

Bibliographic Details
Corporate Authors:	European Symposium on Programming Genoa, Italy, SpringerLink (Online service), ETAPS (Conference)
Other Authors:	Sands, David, 1965-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2028.
Subjects:	Computer programming > Congresses. Programming languages (Electronic computers) > Congresses. Programmeertalen. Computerarchitectuur. type. sécurité information. sémantique. paradigme. théorie programmation. langage programmation. Programmation (Informatique) > Congrès. Langages de programmation > Congrès. Ordinateurs > Programmation > Congrès. Effizienter Algorithmus. Kongress. Korrektheit. Programmanalyse. Programmierparadigma. Programmierung. Programmtransformation. Typentheorie. Computer programming. Programming languages (Electronic computers) Electronic books. Genua (2001) Conference proceedings. Congressen (vorm)
Online Access:	Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number	Status	Get It
Call Number:		QA76.6 .E976 2001

QA76.6 .E976 2001	Available