Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://drops.dagstuhl.de/opus/volltexte/2014/4781/pdf/dagrep_v004_i006_p084_s14271.pdf.
Subject Terms: Frameworks, Contracts, Types, Analysis, Semantics
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.656.7514; http://drops.dagstuhl.de/opus/volltexte/2014/4781/pdf/dagrep_v004_i006_p084_s14271.pdf
Contributors: Fritz Henglein and Ranjit Jhala and Shriram Krishnamurthi and Peter Thiemann
Subject Terms: Scripting Languages, Frameworks, Contracts, Types, Analysis, Semantics, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-47816; https://drops.dagstuhl.de/opus/volltexte/2014/4781/