Linking the Meaning of Programs to What the Compiler Can Verify

Borger, Egon

doi:10.1007/978-3-540-69149-5

ISSN 0302-9743 (Print) 1611-3349 (Online) Selected Revised Papers from Proc. IFIP TC2 (Programming) WG 2.3 (Programming Methodology) Working Conference ``Verified Software: Tools, Techniques, and Experiments'' (VSTTE ). Zuerich, Oct.10-13, 2005

Titolo:	Linking the Meaning of Programs to What the Compiler Can Verify
Autori:	BORGER E
Autori:	BORGER, EGON
Anno del prodotto:	2007
Abstract:	ISSN 0302-9743 (Print) 1611-3349 (Online) Selected Revised Papers from Proc. IFIP TC2 (Programming) WG 2.3 (Programming Methodology) Working Conference ``Verified Software: Tools, Techniques, and Experiments'' (VSTTE ). Zuerich, Oct.10-13, 2005
Digital Object Identifier (DOI):	10.1007/978-3-540-69149-5
Appare nelle tipologie:	2.1 Contributo in volume (Capitolo o Saggio)

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11568/116055

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.