JavaScript

swMATH6868MaRDI QIDQ18937FDOQ18937

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• Reference Abstract Domains and Applications to String Analysis
• 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
• Title not available (Why is that?)
• AN ASP-BASED MODEL EMPLOYING A TABU SEARCH METHOD FOR MAKING e-LOGISTICS DECISIONS
• A programmer's introduction to PHP 4. 0
• A Touch-Based Mathematical Expression Editor
• Pengines: Web Logic Programming Made Easy
• BSP: A Parsing Tool for Ambiguous Regular Expressions
• Completeness of string analysis for dynamic languages
• Program verification by coinduction
• Predicting program properties from ``big code
• Javascript simplex. A tool for teaching linear programming
• Exploring Circle Packing Algorithms
• Sound and Complete Flow Typing with Unions, Intersections and Negations
• The essence of compiling with traces
• Pattern matching for the masses using custom notations
• Survey on JavaScript security policies and their enforcement mechanisms in a web browser
• The development methodology of the UML electronic guide
• Markov Chains
• Computing NodeTrix Representations of Clustered Graphs
• Symbolic String Transformations with Regular Lookahead and Rollback
• 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
• Fully abstract compilation to JavaScript
• Interprocedural Analysis with Lazy Propagation
• 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
• Incremental rebinding with name polymorphism
• Program Obfuscation and One-Time Programs
• JavaScript instrumentation for browser security
• Towards more efficient methods for solving regular-expression heavy string constraints
• VeRoViz: A Vehicle Routing Visualization Toolkit
• Byte code level cross-compilation for developing web applications
• A Provably Correct Compilation of Functional Languages into Scripting Languages
• Blame assignment for higher-order contracts with intersection and union
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Excel :: COM :: R
• A multi-tier semantics for Hop
• Reconciling method overloading and dynamically typed scripting languages
• Title not available (Why is that?)
• Secure distributed programming with value-dependent types
• Gradual typing embedded securely in JavaScript
• Client-side Computational Optimization
• Putting down roots: a graphical exploration of community attachment
• Title not available (Why is that?)
• A classification of configuration spaces of planar robot arms for a continuous inverse kinematics problem
• Title not available (Why is that?)
• Websites planning and design
• A pedagogic JavaScript program for point location strategies
• Completeness of abstract domains for string analysis of JavaScript programs
• Integrating Web Services into Active Mathematical Documents
• Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24--27, 2014. Revised selected papers
• An abstract machine for asynchronous programs with closures and priority queues
• Giac and GeoGebra – Improved Gröbner Basis Computations
• DENIABLE GROUP COMMUNICATIONS IN THE PRESENCE OF GLOBAL UNLIMITED ADVERSARY
• A trusted mechanised JavaScript specification
• Java programming and Internet technologies for undergraduate education
• Formal methods for web security
• Placing segments on parallel arcs
• Title not available (Why is that?)
• Continuation passing style for effect handlers
• An application service provider for finite element analysis
• Abstract domains for type juggling
• Safe \& efficient gradual typing for TypeScript
• From Rewriting Logic, to Programming Language Semantics, to Program Verification
• Title not available (Why is that?)
• Algorithms in Bioinformatics
• Writing cross-browser dynamic HTML
• Anomaly detection in JSON structured data
• Title not available (Why is that?)
• The Object-JavaScript language
• Title not available (Why is that?)
• Doing Web development: Client-side techniques
• Compiling Haskell to JavaScript through Clean's core
• Elementare Differentialgeometrie (nicht nur) für Informatiker
• Title not available (Why is that?)
• Title not available (Why is that?)
• Seamless Merging of Hypertext and Algorithm Animation
• How to evaluate the performance of gradual type systems
• Title not available (Why is that?)
• Node Overlap Removal Algorithms: an Extended Comparative Study
• Essentials of Control Techniques and Theory
• Two mathematical notes – new homogenised Simpson's rules and a riffle shuffle conjecture
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Visualizing combinatorial objects in Macaulay2
• A Touch-Operation-Based Dynamic Geometry System: Design and Implementation
• Title not available (Why is that?)
• Value Sensitivity and Observable Abstract Values for Information Flow Control
• Interactive Geometric Algorithm Visualization in a Browser
• Access permission contracts for scripting languages
• Towards a program logic for JavaScript
• Title not available (Why is that?)

This page was built for software: JavaScript