The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving

Sava Mintchev; David Lester; Gilles Dowek; Jan Heering; Karl Meinke; Bernhard Möller

The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving

Sava Mintchev, David Lester, Gilles Dowek (Editor), Jan Heering (Editor), Karl Meinke (Editor), Bernhard Möller (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	HOA
Editors	Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Publisher	Springer Nature
Pages	144-162
Number of pages	19
Volume	1074
ISBN (Print)	3-540-61254-8
Publication status	Published - 1995
Event	Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/hoa/hoa95.html#MintchevL95http://dblp.uni-trier.de/rec/bibtex/conf/hoa/MintchevL95.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/hoa/MintchevL95

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/hoa/hoa95.html#MintchevL95http://dblp.uni-trier.de/rec/bibtex/conf/hoa/MintchevL95.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/hoa/MintchevL95

Access to Document

Cite this

Mintchev, S., Lester, D., Dowek, G. (Ed.), Heering, J. (Ed.), Meinke, K. (Ed.), & Möller, B. (Ed.) (1995). The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. In G. Dowek, J. Heering, K. Meinke, & B. Möller (Eds.), HOA (Vol. 1074, pp. 144-162). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/hoa/hoa95.html#MintchevL95

@inproceedings{3da99328306a4f139aed2546f894069f,

title = "The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving",

author = "Sava Mintchev and David Lester and Gilles Dowek and Jan Heering and Karl Meinke and Bernhard M{\"o}ller",

year = "1995",

language = "English",

isbn = "3-540-61254-8",

volume = "1074",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "144--162",

editor = "Gilles Dowek and Jan Heering and Karl Meinke and Bernhard M{\"o}ller",

booktitle = "HOA",

address = "United States",

note = "Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/hoa/hoa95.html#MintchevL95http://dblp.uni-trier.de/rec/bibtex/conf/hoa/MintchevL95.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/hoa/MintchevL95",

}

Mintchev, S, Lester, D, Dowek, G (ed.), Heering, J (ed.), Meinke, K (ed.) & Möller, B (ed.) 1995, The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. in G Dowek, J Heering, K Meinke & B Möller (eds), HOA. vol. 1074, Lecture Notes in Computer Science, Springer Nature, pp. 144-162, Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, 1/01/24. <http://dblp.uni-trier.de/db/conf/hoa/hoa95.html#MintchevL95>

The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. / Mintchev, Sava; Lester, David; Dowek, Gilles (Editor) et al.
HOA. ed. / Gilles Dowek; Jan Heering; Karl Meinke; Bernhard Möller. Vol. 1074 Springer Nature, 1995. p. 144-162 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

T1 - The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving

AU - Mintchev, Sava

AU - Lester, David

A2 - Dowek, Gilles

A2 - Heering, Jan

A2 - Meinke, Karl

A2 - Möller, Bernhard

A2 - Dowek, Gilles

A2 - Heering, Jan

A2 - Meinke, Karl

A2 - Möller, Bernhard

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 3-540-61254-8

VL - 1074

T3 - Lecture Notes in Computer Science

SP - 144

EP - 162

BT - HOA

PB - Springer Nature

T2 - Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers

Y2 - 1 January 1824

ER -