Program derivation through transformations; the evolution of list-copying algorithms

A van Diepen, W-P de Roever

Research output: Book/Report › Report › Academic

Keywords

@book{ee9928a0188541e0917bf2f0c6c3d74d,

title = "Program derivation through transformations; the evolution of list-copying algorithms",

keywords = "Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "{van Diepen}, A and {de Roever}, W-P",

year = "1985",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "85-03",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - Program derivation through transformations; the evolution of list-copying algorithms

AU - van Diepen, A

AU - de Roever, W-P

PY - 1985

Y1 - 1985

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 85-03

BT - Program derivation through transformations; the evolution of list-copying algorithms

PB - Unknown Publisher

CY - Utrecht

ER -