Proofs-as-imperative-programs: application to synthesis of contracts

Iman Hafiz Poernomo

Proofs-as-imperative-programs: application to synthesis of contracts

Iman Hafiz Poernomo

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

Original language	English
Title of host publication	Proceedings of the 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2003)
Editors	Manfred Broy, Alexandre V Zamulin
Place of Publication	Berlin Germany
Publisher	Springer
Pages	112 - 119
Number of pages	8
Publication status	Published - 2003
Event	Perspectives of Systems Informatics International Andrei Ershov Memorial Conference - Akademgorodok Novosibirsk Russia, NY USA Duration: 1 Jan 2003 → …

Publication series

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

Conference

Conference	Perspectives of Systems Informatics International Andrei Ershov Memorial Conference
City	NY USA
Period	1/01/03 → …

Cite this

@inproceedings{874faf8078f8489eba41ace985f1f254,

title = "Proofs-as-imperative-programs: application to synthesis of contracts",

author = "Poernomo, {Iman Hafiz}",

year = "2003",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "112 -- 119",

editor = "Manfred Broy and Zamulin, {Alexandre V}",

booktitle = "Proceedings of the 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2003)",

address = "Switzerland",

note = "Perspectives of Systems Informatics International Andrei Ershov Memorial Conference ; Conference date: 01-01-2003",

}

Poernomo, IH 2003, Proofs-as-imperative-programs: application to synthesis of contracts. in M Broy & AV Zamulin (eds), Proceedings of the 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2003). Lecture Notes in Computer Science, vol. 2890, Springer, Berlin Germany, pp. 112 - 119, Perspectives of Systems Informatics International Andrei Ershov Memorial Conference, NY USA, 1/01/03.

Proofs-as-imperative-programs: application to synthesis of contracts. / Poernomo, Iman Hafiz.
Proceedings of the 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2003). ed. / Manfred Broy; Alexandre V Zamulin. Berlin Germany: Springer, 2003. p. 112 - 119 (Lecture Notes in Computer Science; Vol. 2890).

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

TY - GEN

T1 - Proofs-as-imperative-programs: application to synthesis of contracts

AU - Poernomo, Iman Hafiz

PY - 2003

Y1 - 2003

M3 - Conference Paper

T3 - Lecture Notes in Computer Science

SP - 112

EP - 119

BT - Proceedings of the 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2003)

A2 - Broy, Manfred

A2 - Zamulin, Alexandre V

PB - Springer

CY - Berlin Germany

T2 - Perspectives of Systems Informatics International Andrei Ershov Memorial Conference

Y2 - 1 January 2003

ER -