License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.6.84
URN: urn:nbn:de:0030-drops-47816
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4781/
Go back to Dagstuhl Reports

Henglein, Fritz ; Jhala, Ranjit ; Krishnamurthi, Shriram ; Thiemann, Peter
Weitere Beteiligte (Hrsg. etc.): Fritz Henglein and Ranjit Jhala and Shriram Krishnamurthi and Peter Thiemann

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)

pdf-format:
dagrep_v004_i006_p084_s14271.pdf (2 MB)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 14271 "Scripting Languages and Frameworks: Analysis and Verification". The seminar brought together a broad spectrum of researchers working on the semantics, analysis and verification of scripting languages. In addition to talks describing the latest problems and research on the key issues, split roughly into four overarching themes: semantics, types, analysis, contracts, languages, and security, the seminar had breakout sessions devoted to crosscutting topics that were of broad interest across the community, including, how to create shared analysis infrastructure, how to think about the semantics of contracts and blame,
and the role of soundness in analyzing real world languages, as well as several "tutorial" sessions explaining various new tools and techniques.

BibTeX - Entry

@Article{henglein_et_al:DR:2014:4781,
  author =	{Fritz Henglein and Ranjit Jhala and Shriram Krishnamurthi and Peter Thiemann},
  title =	{{Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)}},
  pages =	{84--107},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Fritz Henglein and Ranjit Jhala and Shriram Krishnamurthi and Peter Thiemann},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4781},
  URN =		{urn:nbn:de:0030-drops-47816},
  doi =		{10.4230/DagRep.4.6.84},
  annote =	{Keywords: Scripting Languages, Frameworks, Contracts, Types, Analysis, Semantics}
}

Keywords: Scripting Languages, Frameworks, Contracts, Types, Analysis, Semantics
Collection: Dagstuhl Reports, Volume 4, Issue 6
Issue Date: 2014
Date of publication: 27.10.2014

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI