Formal Foundation for Reasoning about Composition

Maurice Glandrup; Arend Rensink

Formal Foundation for Reasoning about Composition

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

Original language	Undefined
Title of host publication	Advanced Separation of Concerns
Place of Publication	Tampa, Florida (USA)
Pages	-
Number of pages	8
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-203577

Cite this

@inproceedings{9d4daa35b0c141898c36b3ff59b4b735,

title = "Formal Foundation for Reasoning about Composition",

keywords = "METIS-203577",

author = "Maurice Glandrup and Arend Rensink",

year = "2001",

language = "Undefined",

pages = "--",

booktitle = "Advanced Separation of Concerns",

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

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

}

TY - GEN

T1 - Formal Foundation for Reasoning about Composition

AU - Glandrup, Maurice

AU - Rensink, Arend

N1 - Conference code: 16

PY - 2001

Y1 - 2001

KW - METIS-203577

M3 - Conference contribution

SP - -

BT - Advanced Separation of Concerns

CY - Tampa, Florida (USA)

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

Y2 - 14 October 2001 through 18 October 2001

ER -