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

Henglein, Fritz (Editor) ; Jhala, Ranjit (Editor) ; Krishnamurthi, Shriram (Editor) ; Thiemann, Peter (Editor). / 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).

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