Model checking (with) declarative programs

Javier Esparza

doi:10.1145/773184.773189

Model checking (with) declarative programs

Javier Esparza

Informatik 7 - Lehrstuhl für Theoretische Informatik

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Herausgeber (Verlag)	Association for Computing Machinery (ACM)
Seiten	37
Seitenumfang	1
ISBN (Print)	158113388X, 9781581133882
DOIs	https://doi.org/10.1145/773184.773189
Publikationsstatus	Veröffentlicht - 2001
Veranstaltung	Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00) - Florence, Italien Dauer: 5 Sept. 2001 → 7 Sept. 2001

Publikationsreihe

Name	Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Konferenz

Konferenz	Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00)
Land/Gebiet	Italien
Ort	Florence
Zeitraum	5/09/01 → 7/09/01

Zugriff auf Dokument

10.1145/773184.773189

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Esparza, J. (2001). Model checking (with) declarative programs. in Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (S. 37). (Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming). Association for Computing Machinery (ACM). https://doi.org/10.1145/773184.773189

@inproceedings{d3ae2c8859ec482999693962349f940b,

title = "Model checking (with) declarative programs",

author = "Javier Esparza",

year = "2001",

doi = "10.1145/773184.773189",

language = "English",

isbn = "158113388X",

series = "Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming",

publisher = "Association for Computing Machinery (ACM)",

pages = "37",

booktitle = "Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming",

note = "Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00) ; Conference date: 05-09-2001 Through 07-09-2001",

}

Esparza, J 2001, Model checking (with) declarative programs. in Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Association for Computing Machinery (ACM), S. 37, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00), Florence, Italien, 5/09/01. https://doi.org/10.1145/773184.773189

Model checking (with) declarative programs. / Esparza, Javier.
Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Association for Computing Machinery (ACM), 2001. S. 37 (Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Model checking (with) declarative programs

AU - Esparza, Javier

PY - 2001

Y1 - 2001

UR - https://www.scopus.com/pages/publications/0035790011

U2 - 10.1145/773184.773189

DO - 10.1145/773184.773189

M3 - Conference contribution

AN - SCOPUS:0035790011

SN - 158113388X

SN - 9781581133882

T3 - Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

SP - 37

BT - Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

PB - Association for Computing Machinery (ACM)

T2 - Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00)

Y2 - 5 September 2001 through 7 September 2001

ER -

Esparza J. Model checking (with) declarative programs. in Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Association for Computing Machinery (ACM). 2001. S. 37. (Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming). doi: 10.1145/773184.773189