JavaScript

swMATH6868MaRDI QIDQ18937

No author found.

Related Items (only showing first 100 items - show all)

An interactive graphical method for community detection in network data ⋮ Projective geometry of the plane. A classical approach with interactive visualisation ⋮ 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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Visualizing combinatorial objects in Macaulay2 ⋮ Symbolic String Transformations with Regular Lookahead and Rollback ⋮ DOM: Specification and Client Reasoning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Value Sensitivity and Observable Abstract Values for Information Flow Control ⋮ Unnamed Item ⋮ Abstract domains for type juggling ⋮ JavaScript instrumentation for browser security ⋮ The development methodology of the UML electronic guide ⋮ Sound and Complete Flow Typing with Unions, Intersections and Negations ⋮ Unnamed Item ⋮ Pengines: Web Logic Programming Made Easy ⋮ Fully abstract compilation to JavaScript ⋮ Unnamed Item ⋮ TbGAL: a tensor-based library for geometric algebra ⋮ Placing segments on parallel arcs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Predictive modeling of maximum injury severity and potential economic cost in a car accident based on the general estimates system data ⋮ Towards a program logic for JavaScript ⋮ Access permission contracts for scripting languages ⋮ Multiple facets for dynamic information flow ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ A multi-tier semantics for Hop ⋮ BSP: A Parsing Tool for Ambiguous Regular Expressions ⋮ Scientific Computing ⋮ Scientific Computing ⋮ An abstract machine for asynchronous programs with closures and priority queues ⋮ Towards more efficient methods for solving regular-expression heavy string constraints ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Computing NodeTrix Representations of Clustered Graphs ⋮ Unnamed Item ⋮ Pattern matching for the masses using custom notations ⋮ Unnamed Item ⋮ Survey on JavaScript security policies and their enforcement mechanisms in a web browser ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Blame assignment for higher-order contracts with intersection and union ⋮ A Provably Correct Compilation of Functional Languages into Scripting Languages ⋮ Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24--27, 2014. Revised selected papers ⋮ Reference Abstract Domains and Applications to String Analysis ⋮ An application service provider for finite element analysis ⋮ Unnamed Item ⋮ A classification of configuration spaces of planar robot arms for a continuous inverse kinematics problem ⋮ Unnamed Item ⋮ Formal methods for web security ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Excel :: COM :: R ⋮ The Object-JavaScript language ⋮ Reconciling method overloading and dynamically typed scripting languages ⋮ Optimierung interaktiv ⋮ Completeness of abstract domains for string analysis of JavaScript programs ⋮ Unnamed Item ⋮ Putting down roots: a graphical exploration of community attachment ⋮ A Debugger for the Interpreter Design Pattern ⋮ Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions ⋮ Interactive Geometric Algorithm Visualization in a Browser ⋮ Incremental rebinding with name polymorphism ⋮ Unnamed Item ⋮ Exploring Circle Packing Algorithms ⋮ Giac and GeoGebra – Improved Gröbner Basis Computations ⋮ Unnamed Item ⋮ Completeness of string analysis for dynamic languages ⋮ Byte code level cross-compilation for developing web applications ⋮ Predicting Program Properties from "Big Code" ⋮ Safe & Efficient Gradual Typing for TypeScript ⋮ COMPUTING TRIANGULATIONS OF THE CONVEX POLYGON IN PHP/MYSQL ENVIRONMENT ⋮ Integrating Web Services into Active Mathematical Documents ⋮ Java programming and Internet technologies for undergraduate education ⋮ Essentials of Control Techniques and Theory ⋮ Unnamed Item ⋮ Program verification by coinduction ⋮ LaTeXML 2012 - A Year of LaTeXML ⋮ Constraint programming for dynamic symbolic execution of JavaScript ⋮ Unnamed Item ⋮ Two mathematical notes – new homogenised Simpson's rules and a riffle shuffle conjecture ⋮ Unnamed Item ⋮ Unnamed Item ⋮ From specification to testing: semantics engineering for Lua 5.2 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Touch-Operation-Based Dynamic Geometry System: Design and Implementation ⋮ A Touch-Based Mathematical Expression Editor

This page was built for software: JavaScript