Construction of pointer programs

A. Bijlsma

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Originele taal-2Engels
TitelPrograms with Recursively Defined Data Structures (Dagstuhl Seminar 98161, April 20-24, 1998)
RedacteurenM. Schwarzbach, M. Sagiv, K. Weihe
Pagina's22-23
StatusGepubliceerd - 1998

Publicatie series

NaamDagstuhl Seminar Proceedings
ISSN van geprinte versie1862-4405

Citeer dit