Standard
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. ed. / Germán Vidal. Springer, 2012. p. 4-24 (Lecture notes in computer science, Vol. 7225).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Henglein, F 2012,
Dynamic symbolic computation for domain-specific language implementation. in G Vidal (ed.),
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, vol. 7225, pp. 4-24, 21st International Symposium on Logic-Based Program Synthesis and Transformation , Odense, Denmark,
18/07/2011.
https://doi.org/10.1007/978-3-642-32211-2_2
APA
Henglein, F. (2012).
Dynamic symbolic computation for domain-specific language implementation. In G. Vidal (Ed.),
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (pp. 4-24). Springer. Lecture notes in computer science Vol. 7225
https://doi.org/10.1007/978-3-642-32211-2_2
Vancouver
Henglein F.
Dynamic symbolic computation for domain-specific language implementation. In Vidal G, editor, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer. 2012. p. 4-24. (Lecture notes in computer science, Vol. 7225).
https://doi.org/10.1007/978-3-642-32211-2_2
Author
Henglein, Fritz. / Dynamic symbolic computation for domain-specific language implementation. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. editor / Germán Vidal. Springer, 2012. pp. 4-24 (Lecture notes in computer science, Vol. 7225).
Bibtex
@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 = "null ; Conference date: 18-07-2011 Through 20-07-2011",
}
RIS
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
Y2 - 18 July 2011 through 20 July 2011
ER -
