Dynamic symbolic computation for domain-specific language implementation

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

Originalsprog	Engelsk
Titel	Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Redaktører	Germán Vidal
Antal sider	21
Forlag	Springer
Publikationsdato	2012
Sider	4-24
ISBN (Trykt)	978-3-642-32210-5
ISBN (Elektronisk)	978-3-642-32211-2
DOI	https://doi.org/10.1007/978-3-642-32211-2_2
Status	Udgivet - 2012
Begivenhed	21st International Symposium on Logic-Based Program Synthesis and Transformation - Odense, Danmark Varighed: 18 jul. 2011 → 20 jul. 2011 Konferencens nummer: 21

Konference	21st International Symposium on Logic-Based Program Synthesis and Transformation
Nummer	21
Land/Område	Danmark
By	Odense
Periode	18/07/2011 → 20/07/2011

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

Adgang til dokumentet

Dynamic symbolic computation for domain-specific language implementation. / Henglein, Fritz.
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. red. / Germán Vidal. Springer, 2012. s. 4-24 (Lecture notes in computer science, Bind 7225).

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

Henglein, F 2012, Dynamic symbolic computation for domain-specific language implementation. i G Vidal (red.), Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer, Lecture notes in computer science, bind 7225, s. 4-24, 21st International Symposium on Logic-Based Program Synthesis and Transformation , Odense, Danmark, 18/07/2011. https://doi.org/10.1007/978-3-642-32211-2_2

@inproceedings{aa59879c778545ef876819a61dbd4727,

title = "Dynamic symbolic computation for domain-specific language implementation",

author = "Fritz Henglein",

year = "2012",

doi = "10.1007/978-3-642-32211-2_2",

language = "English",

isbn = "978-3-642-32210-5",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "4--24",

editor = "Germ{\'a}n Vidal",

booktitle = "Logic-Based Program Synthesis and Transformation",

address = "Switzerland",

note = "21st International Symposium on Logic-Based Program Synthesis and Transformation ; Conference date: 18-07-2011 Through 20-07-2011",

}

TY - GEN

T1 - Dynamic symbolic computation for domain-specific language implementation

AU - Henglein, Fritz

N1 - Conference code: 21

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-32211-2_2

DO - 10.1007/978-3-642-32211-2_2

M3 - Article in proceedings

SN - 978-3-642-32210-5

T3 - Lecture notes in computer science

SP - 4

EP - 24

BT - Logic-Based Program Synthesis and Transformation

A2 - Vidal, Germán

PB - Springer

T2 - 21st International Symposium on Logic-Based Program Synthesis and Transformation

Y2 - 18 July 2011 through 20 July 2011

ER -