Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)
Research output: Book/Report › Report › Research
Standard
Scripting languages and frameworks : analysis and verification (Dagstuhl Seminar 14271). / Henglein, Fritz (Editor); Jhala, Ranjit (Editor); Krishnamurthi, Shriram (Editor); Thiemann, Peter (Editor).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. 24 p. (Dagstuhl Reports; No. 6, Vol. 4).Research output: Book/Report › Report › Research
Harvard
Henglein, F, Jhala, R, Krishnamurthi, S & Thiemann, P (eds) 2014, Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271). Dagstuhl Reports, no. 6, vol. 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/DagRep.4.6.84
APA
Henglein, F., Jhala, R., Krishnamurthi, S., & Thiemann, P. (Eds.) (2014). Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Dagstuhl Reports Vol. 4 No. 6 https://doi.org/10.4230/DagRep.4.6.84
Vancouver
Henglein F, (ed.), Jhala R, (ed.), Krishnamurthi S, (ed.), Thiemann P, (ed.). Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. 24 p. (Dagstuhl Reports; No. 6, Vol. 4). https://doi.org/10.4230/DagRep.4.6.84
Author
Bibtex
@book{bcba65d69b9145dc90ce32c2de20f1d9,
title = "Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)",
editor = "Fritz Henglein and Ranjit Jhala and Shriram Krishnamurthi and Peter Thiemann",
year = "2014",
doi = "10.4230/DagRep.4.6.84",
language = "English",
series = "Dagstuhl Reports",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
number = "6",
}
RIS
TY - RPRT
T1 - Scripting languages and frameworks
T2 - analysis and verification (Dagstuhl Seminar 14271)
A2 - Henglein, Fritz
A2 - Jhala, Ranjit
A2 - Krishnamurthi, Shriram
A2 - Thiemann, Peter
PY - 2014
Y1 - 2014
U2 - 10.4230/DagRep.4.6.84
DO - 10.4230/DagRep.4.6.84
M3 - Report
T3 - Dagstuhl Reports
BT - Scripting languages and frameworks
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ER -
ID: 168286554