Construction of pointer programs

A. Bijlsma

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Original languageEnglish
Title of host publicationPrograms with Recursively Defined Data Structures (Dagstuhl Seminar 98161, April 20-24, 1998)
EditorsM. Schwarzbach, M. Sagiv, K. Weihe
Pages22-23
Publication statusPublished - 1998

Publication series

NameDagstuhl Seminar Proceedings
ISSN (Print)1862-4405

Cite this