JavaScript
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Sound and complete flow typing with unions, intersections and negations
- Symbolic string transformations with regular lookahead and rollback
- A provably correct compilation of functional languages into scripting languages
- Writing cross-browser dynamic HTML
- Optimization interactive. Understanding basics, exploring models and applying methods
- Value sensitivity and observable abstract values for information flow control
- Anomaly detection in JSON structured data
- TbGAL: a tensor-based library for geometric algebra
- Multiple facets for dynamic information flow
- From specification to testing: semantics engineering for Lua 5.2
- Constraint programming for dynamic symbolic execution of JavaScript
- scientific article; zbMATH DE number 1196691 (Why is no real title available?)
- A touch-operation-based dynamic geometry system: design and implementation
- The Object-JavaScript language
- scientific article; zbMATH DE number 1149164 (Why is no real title available?)
- Interactive geometric algorithm visualization in a browser
- AN ASP-BASED MODEL EMPLOYING A TABU SEARCH METHOD FOR MAKING e-LOGISTICS DECISIONS
- scientific article; zbMATH DE number 1820710 (Why is no real title available?)
- Doing Web development: Client-side techniques
- Compiling Haskell to JavaScript through Clean's core
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- A trusted mechanised JavaSript specification
- scientific article; zbMATH DE number 5671764 (Why is no real title available?)
- A programmer's introduction to PHP 4. 0
- scientific article; zbMATH DE number 1857539 (Why is no real title available?)
- How to evaluate the performance of gradual type systems
- Pengines: Web Logic Programming Made Easy
- JavaScript: The definitive guide. Translated from the 5th English edition by Lars Schulten \& Ulrich Speidel.
- Completeness of string analysis for dynamic languages
- Program verification by coinduction
- Deniable group communications in the presence of global unlimited adversary
- Scientific computing. Vol. III. Approximation and integration
- Predicting program properties from ``big code
- Javascript simplex. A tool for teaching linear programming
- scientific article; zbMATH DE number 2024848 (Why is no real title available?)
- Exploring Circle Packing Algorithms
- Two mathematical notes – new homogenised Simpson's rules and a riffle shuffle conjecture
- JavaScript. The definitive guide. With CD-ROM.
- Pattern matching for the masses using custom notations
- The essence of compiling with traces
- scientific article; zbMATH DE number 1914172 (Why is no real title available?)
- scientific article; zbMATH DE number 2090939 (Why is no real title available?)
- Constrained polymorphic types for a calculus with name variables
- The development methodology of the UML electronic guide
- Survey on JavaScript security policies and their enforcement mechanisms in a web browser
- Visualizing combinatorial objects in Macaulay2
- scientific article; zbMATH DE number 970851 (Why is no real title available?)
- Algorithms in bioinformatics. Theory and implementation
- A Debugger for the Interpreter Design Pattern
- An interactive graphical method for community detection in network data
- Projective geometry of the plane. A classical approach with interactive visualisation
- Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
- Scientific computing. Vol. II. Eigenvalues and optimization
- Introduction to finite elements in engineering
- Access permission contracts for scripting languages
- Towards a program logic for JavaScript
- Verifying robustness of event-driven asynchronous programs against concurrency
- scientific article; zbMATH DE number 1371319 (Why is no real title available?)
- Fully abstract compilation to JavaScript
- Incremental rebinding with name polymorphism
- Formal model of the synthesized screen image of a dynamic situation in areas of monitoring mobile objects and its implementation in a web-oriented geoinformation system
- Computing triangulations of the convex polygon in PHP/MySQL environment
- Tracing compilation by abstract interpretation
- Program Obfuscation and One-Time Programs
- JavaScript instrumentation for browser security
- Mathematical Ciphers
- scientific article; zbMATH DE number 1471349 (Why is no real title available?)
- COVERT TIMING CHANNELS OVER HTTP CACHE-CONTROL HEADERS
- Seamless merging of hypertext and algorithm animation
- Stabilizer
- Thorn
- Lightweight compilation of (C)LP to JavaScript
- jQuery
- PERL
- Physlets
- jContractor
- PowerForms
- RealLib
- Visual Basic
- Visual C#
- WALA
- gplots
- BoneRoute
- core 2
- KSEG
- SocNetV
- Jasymca
- Cabri
- Geometrijica
- MathPiper
- DaCapo
- rjson
- AURA
- HOOPS
- ilastik
- MathEdit
- BYTESURGEON
- BEHAVE
- Velodrome
- Soot
This page was built for software: JavaScript
