The following pages link to JavaScript (Q18937):
Displaying 50 items.
- Pattern matching for the masses using custom notations (Q436385) (← links)
- Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24--27, 2014. Revised selected papers (Q492145) (← links)
- A classification of configuration spaces of planar robot arms for a continuous inverse kinematics problem (Q499742) (← links)
- Formal methods for web security (Q511944) (← links)
- Incremental rebinding with name polymorphism (Q737082) (← links)
- The development methodology of the UML electronic guide (Q864107) (← links)
- An application service provider for finite element analysis (Q942349) (← links)
- Byte code level cross-compilation for developing web applications (Q1016653) (← links)
- Java programming and Internet technologies for undergraduate education (Q1568559) (← links)
- Abstract domains for type juggling (Q1650957) (← links)
- Placing segments on parallel arcs (Q1671015) (← links)
- An abstract machine for asynchronous programs with closures and priority queues (Q1685782) (← links)
- A multi-tier semantics for Hop (Q1929340) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- From specification to testing: semantics engineering for Lua 5.2 (Q2102942) (← links)
- TbGAL: a tensor-based library for geometric algebra (Q2173657) (← links)
- Excel :: COM :: R (Q2271694) (← links)
- Reconciling method overloading and dynamically typed scripting languages (Q2275534) (← links)
- Completeness of abstract domains for string analysis of JavaScript programs (Q2279128) (← links)
- Putting down roots: a graphical exploration of community attachment (Q2282574) (← links)
- Program verification by coinduction (Q2324001) (← links)
- Constraint programming for dynamic symbolic execution of JavaScript (Q2327235) (← links)
- An interactive graphical method for community detection in network data (Q2358932) (← links)
- Projective geometry of the plane. A classical approach with interactive visualisation (Q2361502) (← links)
- 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 (Q2362825) (← links)
- Survey on JavaScript security policies and their enforcement mechanisms in a web browser (Q2436507) (← links)
- Visualizing combinatorial objects in Macaulay2 (Q2632741) (← links)
- Predictive modeling of maximum injury severity and potential economic cost in a car accident based on the general estimates system data (Q2666976) (← links)
- Towards more efficient methods for solving regular-expression heavy string constraints (Q2680985) (← links)
- (Q2706774) (← links)
- (Q2715915) (← links)
- (Q2739737) (← links)
- (Q2756945) (← links)
- (Q2783031) (← links)
- (Q2785454) (← links)
- Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions (Q2802451) (← links)
- Giac and GeoGebra – Improved Gröbner Basis Computations (Q2808009) (← links)
- Predicting Program Properties from "Big Code" (Q2819795) (← links)
- Safe & Efficient Gradual Typing for TypeScript (Q2819802) (← links)
- LaTeXML 2012 - A Year of LaTeXML (Q2843034) (← links)
- (Q2848694) (← links)
- (Q2849122) (← links)
- (Q2866406) (← links)
- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation (Q2879129) (← links)
- A Touch-Based Mathematical Expression Editor (Q2879188) (← links)
- (Q2898774) (← links)
- Sound and Complete Flow Typing with Unions, Intersections and Negations (Q2926650) (← links)
- Pengines: Web Logic Programming Made Easy (Q2931263) (← links)
- Fully abstract compilation to JavaScript (Q2931813) (← links)
- Towards a program logic for JavaScript (Q2942855) (← links)
