Model checking (with) declarative programs

Javier Esparza

doi:10.1145/773184.773189

Model checking (with) declarative programs

Informatics 7 - Chair of Theoretical Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Publisher	Association for Computing Machinery (ACM)
Pages	37
Number of pages	1
ISBN (Print)	158113388X, 9781581133882
DOIs	https://doi.org/10.1145/773184.773189
State	Published - 2001
Event	Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00) - Florence, Italy Duration: 5 Sep 2001 → 7 Sep 2001

Publication series

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

Conference

Conference	Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00)
Country/Territory	Italy
City	Florence
Period	5/09/01 → 7/09/01

Access to Document

10.1145/773184.773189

Cite this

Esparza, J. (2001). Model checking (with) declarative programs. In Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (pp. 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), pp. 37, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00), Florence, Italy, 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. p. 37 (Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Model checking (with) declarative programs

AU - Esparza, Javier

PY - 2001

Y1 - 2001

UR - http://www.scopus.com/inward/record.url?scp=0035790011&partnerID=8YFLogxK

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. p. 37. (Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming). doi: 10.1145/773184.773189

Model checking (with) declarative programs

Publication series

Conference

Access to Document

Other files and links

Cite this