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	NY USA
Publisher	Springer-Verlag London Ltd.
Pages	112 - 119
Number of pages	8
Volume	2890
ISBN (Print)	0302-9743
Publication status	Published - 2003
Event	Perspectives of Systems Informatics International Andrei Ershov Memorial Conference - Akademgorodok Novosibirsk Russia, NY USA Duration: 1 Jan 2003 → …

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",

isbn = "0302-9743",

volume = "2890",

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)",

publisher = "Springer-Verlag London Ltd.",

address = "Germany",

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). vol. 2890, Springer-Verlag London Ltd., NY USA, 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. Vol. 2890 NY USA : Springer-Verlag London Ltd., 2003. p. 112 - 119.

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

SN - 0302-9743

VL - 2890

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-Verlag London Ltd.

CY - NY USA

T2 - Perspectives of Systems Informatics International Andrei Ershov Memorial Conference

Y2 - 1 January 2003

ER -