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. 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 › fagfællebedømt
Harvard
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
APA
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 (s. 4-24). Springer. Lecture notes in computer science Bind 7225
https://doi.org/10.1007/978-3-642-32211-2_2
Vancouver
Henglein F.
Dynamic symbolic computation for domain-specific language implementation. I Vidal G, red., Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer. 2012. s. 4-24. (Lecture notes in computer science, Bind 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. red. / Germán Vidal. Springer, 2012. s. 4-24 (Lecture notes in computer science, Bind 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 -
