Resource usage verification

Kim George Marriott; Peter J Stuckey; Martin Sulzmann

Resource usage verification

Kim George Marriott, Peter J Stuckey, Martin Sulzmann

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

Original language	English
Title of host publication	Proceedings of the First Asian Symposium on Programming Language and Systems (APLAS 2003)
Editors	Atsushi Ohori
Place of Publication	Berlin Germany
Publisher	Springer
Pages	212 - 229
Number of pages	18
Publication status	Published - 2003
Event	Asian Symposium on Programming Languages and Systems 2003 - Beijing, China Duration: 27 Nov 2003 → 29 Nov 2003 Conference number: 1st https://link.springer.com/book/10.1007%2Fb94290 (Proceedings)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2895
ISSN (Print)	0302-9743

Conference

Conference	Asian Symposium on Programming Languages and Systems 2003
Abbreviated title	APLAS 2003
Country/Territory	China
City	Beijing
Period	27/11/03 → 29/11/03
Internet address	https://link.springer.com/book/10.1007%2Fb94290 (Proceedings)

Cite this

@inproceedings{490c7f40e1db4a239c6f2c09b9dee872,

title = "Resource usage verification",

author = "Marriott, {Kim George} and Stuckey, {Peter J} and Martin Sulzmann",

year = "2003",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "212 -- 229",

editor = "Atsushi Ohori",

booktitle = "Proceedings of the First Asian Symposium on Programming Language and Systems (APLAS 2003)",

note = "Asian Symposium on Programming Languages and Systems 2003, APLAS 2003 ; Conference date: 27-11-2003 Through 29-11-2003",

url = "https://link.springer.com/book/10.1007%2Fb94290",

}

Resource usage verification. / Marriott, Kim George ; Stuckey, Peter J; Sulzmann, Martin.
Proceedings of the First Asian Symposium on Programming Language and Systems (APLAS 2003). ed. / Atsushi Ohori. Berlin Germany: Springer, 2003. p. 212 - 229 (Lecture Notes in Computer Science; Vol. 2895).

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

TY - GEN

T1 - Resource usage verification

AU - Marriott, Kim George

AU - Stuckey, Peter J

AU - Sulzmann, Martin

N1 - Conference code: 1st

PY - 2003

Y1 - 2003

M3 - Conference Paper

T3 - Lecture Notes in Computer Science

SP - 212

EP - 229

BT - Proceedings of the First Asian Symposium on Programming Language and Systems (APLAS 2003)

A2 - Ohori, Atsushi

PB - Springer

CY - Berlin Germany

T2 - Asian Symposium on Programming Languages and Systems 2003

Y2 - 27 November 2003 through 29 November 2003

ER -