JavaScript

swMATH6868MaRDI QIDQ18937FDOQ18937

Author name not available (Why is that?)

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

• 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
• Computing NodeTrix representations of clustered graphs
• Title not available (Why is that?)
• AN ASP-BASED MODEL EMPLOYING A TABU SEARCH METHOD FOR MAKING e-LOGISTICS DECISIONS
• A trusted mechanised JavaSript specification
• A programmer's introduction to PHP 4. 0
• Pengines: Web Logic Programming Made Easy
• Deniable group communications in the presence of global unlimited adversary
• 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
• The essence of compiling with traces
• Constrained polymorphic types for a calculus with name variables
• 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
• 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
• Fully abstract compilation to JavaScript
• 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
• Reference abstract domains and applications to string analysis
• 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
• Blame assignment for higher-order contracts with intersection and union
• 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
• Secure distributed programming with value-dependent types
• Gradual typing embedded securely in JavaScript
• Putting down roots: a graphical exploration of community attachment
• A classification of configuration spaces of planar robot arms for a continuous inverse kinematics problem
• From rewriting logic, to programming language semantics, to program verification
• Websites planning and design
• Markov chains. From theory to implementation and experimentation
• 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
• Interprocedural analysis with lazy propagation
• Java programming and Internet technologies for undergraduate education
• Formal methods for web security
• The use of WPF for development of interactive geometry software
• An introduction to PHP for scientists and engineers. Beyond JavaScript
• Giac and GeoGebra -- improved Gröbner basis computations
• Placing segments on parallel arcs
• A touch-based mathematical expression editor
• \textit{BSP}: a parsing tool for ambiguous regular expressions
• 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
• Title not available (Why is that?)
• Decision support systems for business intelligence
• Client-side computational optimization
• Software system for night vision devices design by reasonable combinatorial choice
• Sound and complete flow typing with unions, intersections and negations
• A provably correct compilation of functional languages into scripting languages
• Symbolic string transformations with regular lookahead and rollback
• Value sensitivity and observable abstract values for information flow control
• Writing cross-browser dynamic HTML
• Anomaly detection in JSON structured data
• Title not available (Why is that?)
• The Object-JavaScript language
• A touch-operation-based dynamic geometry system: design and implementation
• Title not available (Why is that?)
• Interactive geometric algorithm visualization in a browser
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• How to evaluate the performance of gradual type systems
• JavaScript: The definitive guide. Translated from the 5th English edition by Lars Schulten \& Ulrich Speidel.
• Scientific computing. Vol. III. Approximation and integration
• Title not available (Why is that?)
• 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?)
• JavaScript. The definitive guide. With CD-ROM.
• Visualizing combinatorial objects in Macaulay2
• Title not available (Why is that?)
• 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

This page was built for software: JavaScript