Abstract interpretation of functional programs using an attribute grammar system

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Language descriptions, tools and applications
Editors	A. Johnstone
Place of Publication	Budapest
Publisher	ETAPS
Publication status	Published - 5 Apr 2008

Keywords

@inproceedings{49e6228801cd4c56b222d965aea1d08b,

title = "Abstract interpretation of functional programs using an attribute grammar system",

keywords = "Wiskunde en Informatica (WIIN)",

author = "J.D. Fokker and S.D. Swierstra",

note = "Language descriptions, tools and applications",

year = "2008",

month = apr,

day = "5",

language = "Undefined/Unknown",

editor = "A. Johnstone",

booktitle = "Language descriptions, tools and applications",

publisher = "ETAPS",

}

TY - GEN

T1 - Abstract interpretation of functional programs using an attribute grammar system

AU - Fokker, J.D.

AU - Swierstra, S.D.

N1 - Language descriptions, tools and applications

PY - 2008/4/5

Y1 - 2008/4/5

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

BT - Language descriptions, tools and applications

A2 - Johnstone, A.

PB - ETAPS

CY - Budapest

ER -