Search results
From MaRDI portal
- 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) - 19:32, 10 April 2026
- 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) - 18:19, 10 April 2026
- Publication Date of Publication Type The Object-JavaScript language 2003-02-04 Paper...10 bytes (47 words) - 02:21, 15 April 2026
- Publication Date of Publication Type The Object-JavaScript language 2003-02-04 Paper...10 bytes (48 words) - 02:21, 15 April 2026
- (logic) languages 2013-03-13 Paper Lightweight compilation of (C)LP to JavaScript 2013-03-13 Paper Interval-based resource usage verification: formalization...10 bytes (16 words) - 03:54, 13 April 2026
- 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) - 10:14, 11 April 2026
- performance of gradual type systems 2019-11-22 Paper Correctness of a concurrent object collector for actor languages 2019-09-13 Paper Verifying a concurrent garbage...10 bytes (14 words) - 07:19, 12 April 2026
- procedural and object-oriented statistical scripting language 2003-02-06 Paper A mixed user interface for a statistical system 2003-02-06 Paper An object-based...10 bytes (13 words) - 12:56, 12 April 2026
- DAVIS to Jasp: Mixing two Java-based statistical systems 2004-11-24 Paper A procedural and object-oriented statistical scripting language 2003-02-06 Paper...10 bytes (13 words) - 20:49, 13 April 2026
- DAVIS to Jasp: Mixing two Java-based statistical systems 2004-11-24 Paper A procedural and object-oriented statistical scripting language 2003-02-06 Paper...10 bytes (13 words) - 12:56, 12 April 2026
- procedural and object-oriented statistical scripting language 2003-02-06 Paper A mixed user interface for a statistical system 2003-02-06 Paper An object-based...10 bytes (13 words) - 18:20, 11 April 2026
- of Publication Type Automatic form generation 2003-02-04 Paper The Object-JavaScript language 2003-02-04 Paper Dynamic response time prediction for computer...10 bytes (15 words) - 20:24, 26 December 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) - 21:46, 10 April 2026
- ENDPOINTS IN WEB APPLICATIONS BASED ON STATIC ANALYSIS OF CLIENT-SIDE JavaScript CODE 2021-10-08 Paper Group authentication scheme based on zero-knowledge...10 bytes (15 words) - 10:01, 6 October 2023
- 1571::aid-spe351%3E3.0.co;2-n zbMATH Keywords object-oriented programmingJavaJavaScriptObject-JavaScript Mathematics Subject Classification ID Theory of...15 bytes (166 words) - 02:21, 15 April 2026
- applications on top of Java Silq SmartCheck TFA ReSpecT TuSoW FJQuantum. A quantum object oriented language An extensible encoding of object-oriented data models...12 bytes (225 words) - 07:55, 13 March 2026
- CRANjoseMaRDI QIDQ62265FDOQ62265 JavaScript Object Signing and Encryption Jeroen Ooms Last update: 6 November 2021 Copyright license: MIT license, File...12 bytes (47 words) - 14:08, 13 March 2026
- CRANjsonifyMaRDI QIDQ61556FDOQ61556 Convert Between 'R' Objects and Javascript Object Notation (JSON) David Cooley Last update: 9 November 2022 Copyright...12 bytes (46 words) - 13:07, 13 March 2026
- and from data in Javascript object notation (JSON) format. This allows R objects to be inserted into Javascript/ECMAScript/ActionScript code and allows...12 bytes (398 words) - 08:04, 13 March 2026
- CDISC (Clinical Data Interchange Standards Consortium) Dataset JSON (JavaScript Object Notation) files, while validating per the Dataset JSON schema file...12 bytes (77 words) - 14:14, 13 March 2026
