Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)

Fritz Henglein (Editor), Ranjit Jhala (Editor), Shriram Krishnamurthi (Editor), Peter Thiemann (Editor)

54 Downloads (Pure)

Original language	English

Publisher	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Number of pages	24
DOIs	https://doi.org/10.4230/DagRep.4.6.84
Publication status	Published - 2014

Access to Document

@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",

}

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 -