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

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

5 Citationer (Scopus)

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

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

address = "Switzerland",

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

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 -