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

Fritz Henglein (Redaktør), Ranjit Jhala (Redaktør), Shriram Krishnamurthi (Redaktør), Peter Thiemann (Redaktør)

54 Downloads (Pure)

Originalsprog	Engelsk

Forlag	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Antal sider	24
DOI	https://doi.org/10.4230/DagRep.4.6.84
Status	Udgivet - 2014

Adgang til dokumentet

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