Forskning ved Københavns Universitet - Københavns Universitet

Forside

Mechanically verifying the correctness of an offline partial evaluator

Publikation: Bog/antologi/afhandling/rapportRapportFormidling

Standard

Mechanically verifying the correctness of an offline partial evaluator. / Hatcliff, John.

Datalogisk Institut, Københavns Universitet, 1996.

Publikation: Bog/antologi/afhandling/rapportRapportFormidling

Harvard

Hatcliff, J 1996, Mechanically verifying the correctness of an offline partial evaluator. Datalogisk Institut, Københavns Universitet.

APA

Hatcliff, J. (1996). Mechanically verifying the correctness of an offline partial evaluator. Datalogisk Institut, Københavns Universitet.

Vancouver

Hatcliff J. Mechanically verifying the correctness of an offline partial evaluator. Datalogisk Institut, Københavns Universitet, 1996.

Author

Hatcliff, John. / Mechanically verifying the correctness of an offline partial evaluator. Datalogisk Institut, Københavns Universitet, 1996.

Bibtex

@book{c788531074be11dbbee902004c4f4f50,
title = "Mechanically verifying the correctness of an offline partial evaluator",
abstract = "DIKU-rapport 95/14",
author = "John Hatcliff",
year = "1996",
language = "English",

}

RIS

TY - RPRT

T1 - Mechanically verifying the correctness of an offline partial evaluator

AU - Hatcliff, John

PY - 1996

Y1 - 1996

N2 - DIKU-rapport 95/14

AB - DIKU-rapport 95/14

M3 - Report

BT - Mechanically verifying the correctness of an offline partial evaluator

CY - Datalogisk Institut, Københavns Universitet

ER -

ID: 23148