License
when quoting this document, please refer to the following
DOI: 10.4230/DagRep.2.1.1
URN: urn:nbn:de:0030-drops-34545
URL: http://drops.dagstuhl.de/opus/volltexte/2012/3454/

Hirschfeld, Robert ; Krishnamurthi, Shriram ; Vitek, Jan
Weitere Beteiligte (Hrsg. etc.): Robert Hirschfeld and Shriram Krishnamurthi and Jan Vitek

Foundations for Scripting Languages (Dagstuhl Seminar 12011)

pdf-format:
Dokument 1.pdf (721 KB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 12011 on the ``Foundations for Scripting Languages''. The choice of ``for'' rather than ``of'' is intentional: it is our thesis that scripting languages are in need of foundations to support their extensive use but lack them, and we hope this event consolidated and advanced the state of the art in this direction.

BibTeX - Entry

@Article{hirschfeld_et_al:DR:2012:3454,
  author =	{Robert Hirschfeld and Shriram Krishnamurthi and Jan Vitek},
  title =	{{Foundations for Scripting Languages (Dagstuhl Seminar 12011)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{Robert Hirschfeld and Shriram Krishnamurthi and Jan Vitek},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3454},
  URN =		{urn:nbn:de:0030-drops-34545},
  doi =		{http://dx.doi.org/10.4230/DagRep.2.1.1},
  annote =	{Keywords: scripting languages, programming languages semantics, type systems, verification techniques, security analyses, scalability, rapid software}
}

Keywords: scripting languages, programming languages semantics, type systems, verification techniques, security analyses, scalability, rapid software
Seminar: Dagstuhl Reports, Volume 2, Issue 1
Issue date: 2012
Date of publication: 16.04.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI