Partial evaluation of Janus part 2: assertions and procedures

Torben Ægidius Mogensen

doi:10.1007/978-3-642-29709-0_25

Partial evaluation of Janus part 2: assertions and procedures

Torben Ægidius Mogensen

Datalogisk Institut

5 Citationer (Scopus)

Abstract

We continue earlier work on partial evaluation of the reversible language Janus. In this paper, we improve the handling of assertions and extend the partial evaluation method to handle procedure calls, which were omitted in the previous work. The partial evaluator now handles the full Janus language.

Originalsprog	Engelsk
Titel	Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Redaktører	Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Antal sider	13
Forlag	Springer
Publikationsdato	2012
Sider	289-301
ISBN (Trykt)	978-3-642-29708-3
ISBN (Elektronisk)	978-3-642-29709-0
DOI	https://doi.org/10.1007/978-3-642-29709-0_25
Status	Udgivet - 2012
Begivenhed	8th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics - Novosibirsk, Rusland Varighed: 27 jun. 2011 → 1 jul. 2011 Konferencens nummer: 8

Konference

Konference	8th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics
Nummer	8
Land/Område	Rusland
By	Novosibirsk
Periode	27/06/2011 → 01/07/2011

Navn	Lecture notes in computer science
Vol/bind	7162
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-642-29709-0_25

Citationsformater

Mogensen, T. Æ. (2012). Partial evaluation of Janus part 2: assertions and procedures. I E. Clarke, I. Virbitskaite, & A. Voronkov (red.), Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers (s. 289-301). Springer. Lecture notes in computer science Bind 7162 https://doi.org/10.1007/978-3-642-29709-0_25

Partial evaluation of Janus part 2 : assertions and procedures. / Mogensen, Torben Ægidius.

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. red. / Edmund Clarke; Irina Virbitskaite; Andrei Voronkov. Springer, 2012. s. 289-301 (Lecture notes in computer science, Bind 7162).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Mogensen, TÆ 2012, Partial evaluation of Janus part 2: assertions and procedures. i E Clarke, I Virbitskaite & A Voronkov (red), Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Springer, Lecture notes in computer science, bind 7162, s. 289-301, 8th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, Novosibirsk, Rusland, 27/06/2011. https://doi.org/10.1007/978-3-642-29709-0_25

Mogensen TÆ. Partial evaluation of Janus part 2: assertions and procedures. I Clarke E, Virbitskaite I, Voronkov A, red., Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Springer. 2012. s. 289-301. (Lecture notes in computer science, Bind 7162). doi: 10.1007/978-3-642-29709-0_25

Mogensen, Torben Ægidius. / Partial evaluation of Janus part 2 : assertions and procedures. Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. red. / Edmund Clarke ; Irina Virbitskaite ; Andrei Voronkov. Springer, 2012. s. 289-301 (Lecture notes in computer science, Bind 7162).

@inproceedings{51375c7c95394eca9c8bbc91564a1a1e,

title = "Partial evaluation of Janus part 2: assertions and procedures",

abstract = "We continue earlier work on partial evaluation of the reversible language Janus. In this paper, we improve the handling of assertions and extend the partial evaluation method to handle procedure calls, which were omitted in the previous work. The partial evaluator now handles the full Janus language.",

author = "Mogensen, {Torben {\AE}gidius}",

year = "2012",

doi = "10.1007/978-3-642-29709-0_25",

language = "English",

isbn = "978-3-642-29708-3",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "289--301",

editor = "Edmund Clarke and Irina Virbitskaite and Andrei Voronkov",

booktitle = "Perspectives of Systems Informatics",

note = "8th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, PSI 2011 ; Conference date: 27-06-2011 Through 01-07-2011",

}

TY - GEN

T1 - Partial evaluation of Janus part 2

T2 - 8th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics

AU - Mogensen, Torben Ægidius

N1 - Conference code: 8

PY - 2012

Y1 - 2012

N2 - We continue earlier work on partial evaluation of the reversible language Janus. In this paper, we improve the handling of assertions and extend the partial evaluation method to handle procedure calls, which were omitted in the previous work. The partial evaluator now handles the full Janus language.

AB - We continue earlier work on partial evaluation of the reversible language Janus. In this paper, we improve the handling of assertions and extend the partial evaluation method to handle procedure calls, which were omitted in the previous work. The partial evaluator now handles the full Janus language.

U2 - 10.1007/978-3-642-29709-0_25

DO - 10.1007/978-3-642-29709-0_25

M3 - Article in proceedings

SN - 978-3-642-29708-3

T3 - Lecture notes in computer science

SP - 289

EP - 301

BT - Perspectives of Systems Informatics

A2 - Clarke, Edmund

A2 - Virbitskaite, Irina

A2 - Voronkov, Andrei

PB - Springer

Y2 - 27 June 2011 through 1 July 2011

ER -