Search results
From MaRDI portal
- 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
- 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
- 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
- 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
- Integrating typed and untyped code in a scripting language 2015-06-11 Paper Plan B, a buffered memory model for Java 2014-11-27 Paper Programming Languages...10 bytes (14 words) - 16:39, 6 October 2023
- juggling 2018-07-16 Paper Towards a program logic for JavaScript 2015-09-11 Paper A trusted mechanised JavaSript specification 2014-04-10 Paper Matching systems...10 bytes (13 words) - 20:10, 24 September 2023
- 2022-03-23 Paper Constraint programming for dynamic symbolic execution of JavaScript 2019-10-14 Paper Wombit: a portfolio bit-vector solver using word-level...10 bytes (13 words) - 14:14, 6 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
- 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
- (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
- 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
- abstraction and inheritance 2014-09-12 Paper Gradual typing embedded securely in JavaScript 2014-04-10 Paper Operational properties of \texttt{Lily}, a polymorphic...10 bytes (16 words) - 14:59, 24 September 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
- service compositions 2015-01-26 Paper Lightweight compilation of (C)LP to JavaScript 2013-03-13 Paper An overview of Ciao and its design philosophy 2012-06-25...10 bytes (13 words) - 13:06, 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
- 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
- Fault-tolerant resource reasoning 2016-01-08 Paper Towards a program logic for JavaScript 2015-09-11 Paper Views, compositional reasoning for concurrent programs...10 bytes (14 words) - 23:44, 24 September 2023
- complex dynamical networks 2014-12-08 Paper Fully abstract compilation to JavaScript 2014-11-27 Paper A 3D pyramid spline element 2014-08-19 Paper On the relationship...10 bytes (13 words) - 05:44, 7 October 2023
