2026-08-15T08:48:11Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3454 2024-03-06T10:25:47Z ddc:004 open_access

Foundations for Scripting Languages (Dagstuhl Seminar 12011) Hirschfeld, Robert Krishnamurthi, Shriram Vitek, Jan scripting languages programming languages semantics type systems verification techniques security analyses scalability rapid software 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Robert Hirschfeld and Shriram Krishnamurthi and Jan Vitek 2012 Is Part Of Dagstuhl Reports, Volume 2, Issue 1 (2012) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.2.1.1 urn:nbn:de:0030-drops-34545 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.1 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode