Filters








3 Hits in 1.9 sec

TreatJS: Higher-Order Contracts for JavaScript (Artifact)

Matthias Keil, Peter Thiemann
2015 Proceedings of the 29th European Conference on Object-Oriented Programming   unpublished
TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring.  ...  Beyond providing the standard abstractions for building higher-order contracts (base, function, and object contracts), TreatJS's novel contributions are its guarantee of non-interfering contract execution  ...  The library relies on JavaScript proxies to guarantee full interposition for contracts.  ... 
fatcat:6dbwhngfujecllijl5ij4ufqqe

Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP'15)

Camil Demetrescu, Matthew Flatt, Camil Demetrescu, Matthew Flatt
2015 unpublished
TreatJS: Higher-Order Contracts for JavaScript (Artifact) Matthias Keil and Peter Thiemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ...  Nominal Typing (Artifact) Timothy Jones, 4:1-4:2 Optimization Coaching for JavaScript (Artifact) Vincent St-5:1-5:2 6:1-6:2 The Love/Hate Relationship with the C Preprocessor: An Interview Study  ... 
fatcat:uqx57p5ch5gibhhjvtiz5yrkme

Scientific Visualization (Dagstuhl Seminar 14231) Design and Synthesis from Components (Dagstuhl Seminar 14232) Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241) Software Development Analytics (Dagstuhl Seminar 14261) Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)

Min Chen, Charles Hansen, Penny Rheingans, Gerik Scheuermann, Jakob Rehof, Moshe, Roberto Giacobazzi, Axel Simon, Sarah, Harald Gall, Tim Menzies, Laurie Williams (+5 others)
2014 unpublished
Since a few years, JavaScript is gaining more and more popularity as an implementation language for large applications. Consequently, there is a demand for SAST tools that support JavaScript.  ...  We report briefly on our method for evaluating SAST tools for JavaScript as well as summarize the results of our analysis. SAP Acknowledgements.  ...  TreatJS is a language embedded, dynamic, higher-order contract system for JavaScript.  ... 
fatcat:gjk2mqy4yfhklemp55qvewks44