Document Open Access Logo

Foundations for Scripting Languages (Dagstuhl Seminar 12011)

Authors Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 0.7 MB
  • 18 pages

Document Identifiers

Author Details

Robert Hirschfeld
Shriram Krishnamurthi
Jan Vitek
and all authors of the abstracts in this report

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)


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.
  • scripting languages
  • programming languages semantics
  • type systems
  • verification techniques
  • security analyses
  • scalability
  • rapid software


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail