DagRep.2.1.1.pdf
- Filesize: 0.7 MB
- 18 pages
Document
Foundations for Scripting Languages (Dagstuhl Seminar 12011)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 2, Issue 1
Volume: Dagstuhl Reports, Volume 2
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2012-04-16
Cite AsGet BibTex
Robert Hirschfeld, Shriram Krishnamurthi, and Jan Vitek. Foundations for Scripting Languages (Dagstuhl Seminar 12011). In Dagstuhl Reports, Volume 2, Issue 1, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/DagRep.2.1.1
https://doi.org/10.4230/DagRep.2.1.1
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.
Keywords
- scripting languages
- programming languages semantics
- type systems
- verification techniques
- security analyses
- scalability
- rapid software
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads