Filters








14 Hits in 1.4 sec

TreatJS: Higher-Order Contracts for JavaScripts

Matthias Keil, Peter Thiemann, Marc Herbstritt
<span title="2015-06-26">2015</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qnp47ut6vrdjjmiy7zdltauwje" style="color: black;">European Conference on Object-Oriented Programming</a> </i> &nbsp;
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  ...  Conclusion We presented TreatJS, a language embedded, dynamic, higher-order contract system for full JavaScript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2015.28">doi:10.4230/lipics.ecoop.2015.28</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoop/KeilT15.html">dblp:conf/ecoop/KeilT15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7oa6m77svzg2fpuld52oe75kne">fatcat:7oa6m77svzg2fpuld52oe75kne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830054602/http://drops.dagstuhl.de/opus/volltexte/2015/5216/pdf/6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/79/2b/792b2b28253d6bbc9be83126f38b09d678ec12dc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2015.28"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

TreatJS: Higher-Order Contracts for JavaScript [article]

Matthias Keil, Peter Thiemann
<span title="2015-04-30">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
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  ...  Conclusion We presented TreatJS, a language embedded, dynamic, higher-order contract system for full JavaScript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1504.08110v1">arXiv:1504.08110v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kdxqghjhsjabjgbayrztqqtti4">fatcat:kdxqghjhsjabjgbayrztqqtti4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200915045859/https://arxiv.org/pdf/1504.08110v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/95/c6/95c6456bf531a5aef1a29f5911f7ed5553e13a2c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1504.08110v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

TreatJS: Higher-Order Contracts for JavaScript (Artifact)

Matthias Keil, Peter Thiemann
<span title="">2015</span> <i > Proceedings of the 29th European Conference on Object-Oriented Programming </i> &nbsp; <span class="release-stage">unpublished</span>
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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6dbwhngfujecllijl5ij4ufqqe">fatcat:6dbwhngfujecllijl5ij4ufqqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180506211950/http://drops.dagstuhl.de/opus/volltexte/2015/5510/pdf/1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/06/9206cd020881ec8b8a1a694a38718d163a12b8be.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Static Contract Simplification [article]

Matthias Keil, Peter Thiemann
<span title="2017-03-30">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Contracts and contract monitoring are a powerful mechanism for specifying properties and guaranteeing them at run time. However, run time monitoring of contracts imposes a significant overhead.  ...  Our key technique is to statically propagate contracts through the program and to evaluate and merge contracts where possible.  ...  To run the examples we use the TreatJS (Keil and Thiemann 2015b) contract system for JavaScript and the SpiderMonkey 3 JavaScript engine.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1703.10331v1">arXiv:1703.10331v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7o54krw2uvfv7pmoscg5jmst6m">fatcat:7o54krw2uvfv7pmoscg5jmst6m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200904080712/https://arxiv.org/pdf/1703.10331v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c3/3b/c33bdcb0a90e7d4c1ad4ea4830d0a1ba3b2bf909.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1703.10331v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Transparent Object Proxies for JavaScript [article]

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken,, Peter Thiemann
<span title="2015-04-30">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We examine the issue with transparency in various use cases for proxies, discuss different approaches to obtain transparency, and propose two designs that require modest modifications in the JavaScript  ...  Apparently proxies should have their own identity for security-related applications whereas other applications, in particular contract systems, require transparent proxies that compare equal to their target  ...  Thus, the existing implementations of higher-order contracts for JavaScript are prone to interfere with the semantics. The situation is similar for Racket.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1504.08100v1">arXiv:1504.08100v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l7lejybg2jcgbapl2spds5yh64">fatcat:l7lejybg2jcgbapl2spds5yh64</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200830120023/https://arxiv.org/pdf/1504.08100v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/29/b4/29b47e1f9703a2248aeac87189e2f80ce913b07f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1504.08100v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Transparent Object Proxies in JavaScript

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann, Marc Herbstritt
<span title="2015-06-26">2015</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qnp47ut6vrdjjmiy7zdltauwje" style="color: black;">European Conference on Object-Oriented Programming</a> </i> &nbsp;
We examine the issue with transparency in various use cases for proxies, discuss different approaches to obtain transparency, and propose two designs that require modest modifications in the JavaScript  ...  Apparently proxies should have their own identity for security-related applications whereas other applications, in particular contract systems, require transparent proxies that compare equal to their target  ...  Thus, the existing implementations of higher-order contracts for JavaScript are prone to interfere with the semantics. The situation is similar for Racket.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2015.149">doi:10.4230/lipics.ecoop.2015.149</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoop/KeilGSGT15.html">dblp:conf/ecoop/KeilGSGT15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sxszjzmhbzemdh5op6yf75n65a">fatcat:sxszjzmhbzemdh5op6yf75n65a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829201834/http://drops.dagstuhl.de/opus/volltexte/2015/5229/pdf/19.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2d/73/2d73da1060720b482a41fb4b453f4f4ef48c1508.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2015.149"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Blame assignment for higher-order contracts with intersection and union

Matthias Keil, Peter Thiemann
<span title="2015-08-29">2015</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
The calculus is the formal basis of TreatJS, a language embedded, higher-order contract system implemented for JavaScript.  ...  A nondeterministic operational semantics serves as the specification for contract monitoring and for proving its correctness.  ...  Contributions This work presents the theory of blame assignment underlying TreatJS, a language embedded, higher-order contract system for JavaScript. 1 • We specify the semantics of a contract in a novel  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2858949.2784737">doi:10.1145/2858949.2784737</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tvycedyfyfey3csoxdnrfkv7ou">fatcat:tvycedyfyfey3csoxdnrfkv7ou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810181949/http://matthias-keil.de/papers/icfp2015-blame.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2d/49/2d4961293ade89cbb0f4191b4cc59223324cc6b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2858949.2784737"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Blame assignment for higher-order contracts with intersection and union

Matthias Keil, Peter Thiemann
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015</a> </i> &nbsp;
The calculus is the formal basis of TreatJS, a language embedded, higher-order contract system implemented for JavaScript.  ...  A nondeterministic operational semantics serves as the specification for contract monitoring and for proving its correctness.  ...  Contributions This work presents the theory of blame assignment underlying TreatJS, a language embedded, higher-order contract system for JavaScript. 1 • We specify the semantics of a contract in a novel  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2784731.2784737">doi:10.1145/2784731.2784737</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/KeilT15.html">dblp:conf/icfp/KeilT15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/itoh5srbrjb35g5vn3sg3svmjm">fatcat:itoh5srbrjb35g5vn3sg3svmjm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810181949/http://matthias-keil.de/papers/icfp2015-blame.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2d/49/2d4961293ade89cbb0f4191b4cc59223324cc6b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2784731.2784737"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Report from Dagstuhl Seminar Scripting Languages and Frameworks: Analysis and Verification 1 Executive Summary

Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann, Fritz Ranjit, Jhala Shriram, Krishnamurthi Peter, Thiemann License
<i > Seminar </i> &nbsp; <span class="release-stage">unpublished</span>
In addition to talks describing the latest problems and research on the key issues, split roughly into four overarching themes: semantics, types, analysis, contracts, languages, and security, the seminar  ...  had breakout sessions devoted to crosscutting topics that were of broad interest across the community, including, how to create shared analysis infrastructure, how to think about the semantics of contracts  ...  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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5w2jmn4qrvefvlq523wrerljyu">fatcat:5w2jmn4qrvefvlq523wrerljyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180521032732/http://drops.dagstuhl.de/opus/volltexte/2014/4781/pdf/dagrep_v004_i006_p084_s14271.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2f/2d/2f2d74b036010924eba82f6f72936fa68b0a8f32.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

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

Camil Demetrescu, Matthew Flatt, Camil Demetrescu, Matthew Flatt
<span title="">2015</span> <span class="release-stage">unpublished</span>
TreatJS: Higher-Order Contracts for JavaScript (Artifact) Matthias Keil and Peter Thiemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ...  :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 (Artifact) Flávio Medeiros, Christian Kästner  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uqx57p5ch5gibhhjvtiz5yrkme">fatcat:uqx57p5ch5gibhhjvtiz5yrkme</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180506211930/http://drops.dagstuhl.de/opus/volltexte/2015/6140/pdf/darts-v001-i001-00.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9e/ef/9eefa8580f9405ea636de931fc7eb612720d73ae.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

The root cause of blame: contracts for intersection and union types

Jack Williams, J. Garrett Morris, Philip Wadler
<span title="2018-10-24">2018</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dqy7qc7jkzal5bz3gueys3siz4" style="color: black;">Proceedings of the ACM on Programming Languages (PACMPL)</a> </i> &nbsp;
We extend the untyped lambda calculus with contracts for monitoring higher-order intersection and union types, for the first time giving a uniform treatment to both.  ...  We present a new method for defining contract satisfaction based on blame behaviour. A value positively satisfies a type if applying a contract of that type can never elicit positive blame.  ...  ACKNOWLEDGMENTS We wish to thank the anonymous OOPSLA reviewers for their detailed comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3276504">doi:10.1145/3276504</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d7ppbeyxgzh5hf34d2wph2t3k4">fatcat:d7ppbeyxgzh5hf34d2wph2t3k4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430013041/https://kuscholarworks.ku.edu/bitstream/handle/1808/27076/oopsla18main-p149-p.pdf;jsessionid=6AEEE703054F9EAF74F4756B9640B024?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/07/91/079155980faa13f66570444e006038b434883ab6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3276504"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

LMS-Verify: abstraction without regret for verified systems programming

Nada Amin, Tiark Rompf
<span title="2017-01-01">2017</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
We demonstrate that staging achieves "abstraction without regret" for verification: we show how high-level programming models, in particular higher-order composable contracts from dynamic languages, can  ...  Highlevel languages provide memory safety out of the box, but they are deemed too slow and unpredictable for serious system software.  ...  Acknowledgments The authors thank Viktor Kuncak and Sandrine Blazy for insightful discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3093333.3009867">doi:10.1145/3093333.3009867</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wzdor44y4jgmliywznkftexpnu">fatcat:wzdor44y4jgmliywznkftexpnu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727001245/https://infoscience.epfl.ch/record/227178/files/lms-verify.pdf?version=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/25/d0/25d09e67275ee37d75592bddf1125b68b2403a86.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3093333.3009867"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

LMS-Verify: abstraction without regret for verified systems programming

Nada Amin, Tiark Rompf
<span title="">2017</span> <i title="ACM Press"> Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 </i> &nbsp;
We demonstrate that staging achieves "abstraction without regret" for verification: we show how high-level programming models, in particular higher-order composable contracts from dynamic languages, can  ...  Highlevel languages provide memory safety out of the box, but they are deemed too slow and unpredictable for serious system software.  ...  Acknowledgments The authors thank Viktor Kuncak and Sandrine Blazy for insightful discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3009837.3009867">doi:10.1145/3009837.3009867</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pkp6vnsu7ja2pfqbznp6clva5u">fatcat:pkp6vnsu7ja2pfqbznp6clva5u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727001245/https://infoscience.epfl.ch/record/227178/files/lms-verify.pdf?version=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/25/d0/25d09e67275ee37d75592bddf1125b68b2403a86.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3009837.3009867"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

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)
<span title="">2014</span> <span class="release-stage">unpublished</span>
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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gjk2mqy4yfhklemp55qvewks44">fatcat:gjk2mqy4yfhklemp55qvewks44</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180521035458/http://drops.dagstuhl.de/opus/volltexte/2015/4965/pdf/dagrep-v004-i006-complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1c/5f/1c5fb3c531786008de7e7783b6b78245cc61ea41.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>