Foundations for Scripting Languages (Dagstuhl Seminar 12011)

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



PDF
Thumbnail PDF

File

DagRep.2.1.1.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 As Get 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

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.

Subject Classification

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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail