Generative Programming and Formal Foundations for Reasoning about Composition

Maurice Glandrup; Lodewijk Bergmans

Generative Programming and Formal Foundations for Reasoning about Composition

Maurice Glandrup
, Lodewijk Bergmans

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	-
Number of pages	10
Publication status	Published - 2001
Event	16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001 - Tampa Convention Center, Tampa, United States Duration: 14 Oct 2001 → 18 Oct 2001 Conference number: 16 http://www.oopsla.org/2001/

Conference

Conference	16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001
Abbreviated title	OOPSLA
Country/Territory	United States
City	Tampa
Period	14/10/01 → 18/10/01
Internet address	http://www.oopsla.org/2001/

Keywords

METIS-203582

Cite this

@conference{dfb189c65003438f8d23ade8b00805d1,

title = "Generative Programming and Formal Foundations for Reasoning about Composition",

keywords = "METIS-203582",

author = "Maurice Glandrup and Lodewijk Bergmans",

note = "Generative Programming Workshop; 16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001, OOPSLA ; Conference date: 14-10-2001 Through 18-10-2001",

year = "2001",

language = "English",

pages = "--",

url = "http://www.oopsla.org/2001/",

}

TY - CONF

T1 - Generative Programming and Formal Foundations for Reasoning about Composition

AU - Glandrup, Maurice

AU - Bergmans, Lodewijk

N1 - Conference code: 16

PY - 2001

Y1 - 2001

KW - METIS-203582

M3 - Paper

SP - -

T2 - 16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001

Y2 - 14 October 2001 through 18 October 2001

ER -