Search results
From MaRDI portal
- Fault-Tolerant Resource Reasoning 2016-01-08 Paper Towards a program logic for JavaScript 2015-09-11 Paper Views 2014-11-27 Paper Context logic as modal logic 2014-09-12...10 bytes (14 words) - 23:44, 24 September 2023
- with value-dependent types 2015-03-05 Paper Fully abstract compilation to JavaScript 2014-11-27 Paper A Formal Library for Elliptic Curves in the Coq Proof...10 bytes (15 words) - 18:33, 6 October 2023
- Succinct NIZK Arguments 2015-01-16 Paper Fully abstract compilation to JavaScript 2014-11-27 Paper Cryptographically sound implementations for typed information-flow...10 bytes (13 words) - 17:04, 9 December 2023
- 2018-07-16 Paper Towards a program logic for JavaScript 2015-09-11 Paper A trusted mechanised JavaScript specification 2014-04-10 Paper Matching systems...10 bytes (13 words) - 20:10, 24 September 2023
- 2015-03-05 Paper Fully abstract compilation to JavaScript 2014-11-27 Paper Gradual typing embedded securely in JavaScript 2014-04-10 Paper Probabilistic relational...10 bytes (13 words) - 11:24, 7 October 2023
- modular language development frameworks 2016-08-05 Paper Type checking for JavaScript 2013-09-26 Paper Typed stochastic semantics for the calculus of looping...10 bytes (13 words) - 10:03, 6 October 2023
- abstraction and inheritance 2014-09-12 Paper Gradual typing embedded securely in JavaScript 2014-04-10 Paper Operational Properties of Lily, a Polymorphic Linear...10 bytes (16 words) - 14:59, 24 September 2023
- m-calculus 2015-09-11 Paper Boomerang 2014-09-12 Paper A trusted mechanised JavaScript specification 2014-04-10 Paper Concurrent Flexible Reversibility 2013-08-05...10 bytes (13 words) - 04:33, 7 October 2023
- model for editor-based programming 2013-06-14 Paper Compiling Haskell to JavaScript through Clean's core 2012-07-12 Paper Polytypic Syntax Tree Operations...10 bytes (13 words) - 08:17, 7 October 2023
- Secure (As It Is) 2014-08-07 Paper Gradual typing embedded securely in JavaScript 2014-04-10 Paper Secure distributed programming with value-dependent types...10 bytes (13 words) - 06:39, 7 October 2023
- 2020-07-07 Paper Completeness of abstract domains for string analysis of JavaScript programs 2019-12-12 Paper Hyperhierarchy of Semantics - A Formal Framework...10 bytes (13 words) - 08:01, 6 October 2023
- gentle art of levitation 2015-03-05 Paper Fully abstract compilation to JavaScript 2014-11-27 Paper Transporting functions across ornaments 2014-08-14 Paper...10 bytes (15 words) - 08:33, 25 September 2023
- Publication Type Towards a program logic for JavaScript 2015-09-11 Paper A trusted mechanised JavaScript specification 2014-04-10 Paper The FUSE platform:...10 bytes (14 words) - 19:30, 24 September 2023
- Paper Engineering formal metatheory 2014-09-12 Paper A trusted mechanised JavaScript specification 2014-04-10 Paper Pretty-Big-Step Semantics 2013-08-05 Paper...10 bytes (13 words) - 09:17, 6 October 2023
- 2019-10-25 Paper Constraint programming for dynamic symbolic execution of JavaScript 2019-10-14 Paper An iterative approach to precondition inference using...10 bytes (13 words) - 14:14, 6 October 2023
- 2021-05-26 Paper Completeness of abstract domains for string analysis of JavaScript programs 2019-12-12 Paper Comparison of abstract interpretations 2019-12-04...10 bytes (15 words) - 12:25, 6 October 2023
- 2021-08-16 Paper Constraint programming for dynamic symbolic execution of JavaScript 2019-10-14 Paper Propagating \textsc{lex}, \textsc{find} and \textsc{replace}...10 bytes (15 words) - 17:01, 6 October 2023
- 2019-10-25 Paper Constraint programming for dynamic symbolic execution of JavaScript 2019-10-14 Paper An iterative approach to precondition inference using...10 bytes (15 words) - 14:14, 6 October 2023
- Publication Date of Publication Type Dynamic Security Analysis of JavaScript: Are We There Yet?: Dataset 2025-01-30 Dataset Secure key management policies...10 bytes (15 words) - 12:56, 6 October 2023
- (Logic) Languages 2013-03-13 Paper Lightweight compilation of (C)LP to JavaScript 2013-03-13 Paper Observational equivalences for linear logic concurrent...10 bytes (13 words) - 23:59, 24 September 2023
