Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages

David Lester; Sava Mintchev; Leszek Pacholski; Jerzy Tiuryn

doi:10.1007/BFb0022269

Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages

David Lester
, Sava Mintchev
, Leszek Pacholski (Editor)
, Jerzy Tiuryn (Editor)

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

Original language	English
Title of host publication	CSL
Editors	Leszek Pacholski, Jerzy Tiuryn
Publisher	Springer Nature
Pages	369-381
Number of pages	13
Volume	933
ISBN (Print)	3-540-60017-5
DOIs	https://doi.org/10.1007/BFb0022269
Publication status	Published - 1994
Event	Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/csl/csl94.html#LesterM94http://dblp.uni-trier.de/rec/bibtex/conf/csl/LesterM94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/csl/LesterM94

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/csl/csl94.html#LesterM94http://dblp.uni-trier.de/rec/bibtex/conf/csl/LesterM94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/csl/LesterM94

Access to Document

10.1007/BFb0022269

Cite this

@inproceedings{bc0b170d35994e28b66c917bc1770938,

title = "Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages",

author = "David Lester and Sava Mintchev and Leszek Pacholski and Jerzy Tiuryn",

year = "1994",

doi = "10.1007/BFb0022269",

language = "English",

isbn = "3-540-60017-5",

volume = "933",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "369--381",

editor = "Leszek Pacholski and Jerzy Tiuryn",

booktitle = "CSL",

address = "United States",

note = "Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/csl/csl94.html\#LesterM94http://dblp.uni-trier.de/rec/bibtex/conf/csl/LesterM94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/csl/LesterM94",

}

Lester, D, Mintchev, S, Pacholski, L (ed.) & Tiuryn, J (ed.) 1994, Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. in L Pacholski & J Tiuryn (eds), CSL. vol. 933, Lecture Notes in Computer Science, Springer Nature, pp. 369-381, Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, 1/01/24. https://doi.org/10.1007/BFb0022269

TY - GEN

T1 - Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages

AU - Lester, David

AU - Mintchev, Sava

A2 - Pacholski, Leszek

A2 - Tiuryn, Jerzy

A2 - Pacholski, Leszek

A2 - Tiuryn, Jerzy

PY - 1994

Y1 - 1994

U2 - 10.1007/BFb0022269

DO - 10.1007/BFb0022269

M3 - Conference contribution

SN - 3-540-60017-5

VL - 933

T3 - Lecture Notes in Computer Science

SP - 369

EP - 381

BT - CSL

PB - Springer Nature

T2 - Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers

Y2 - 1 January 1824

ER -