License: 
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
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://dagstuhl.sunsite.rwth-aachen.de/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)
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 = {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 |
|
Collection: |
|
Dagstuhl Reports, Volume 2, Issue 1 |
|
Issue Date: |
|
2012 |
|
Date of publication: |
|
16.04.2012 |
