Search Results - Formal Definitions and Theory Keywords JavaScript~
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords JavaScript, mechanised semantics, Coq
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400; http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf
-
2
Authors:
Contributors:
Source: http://www.ccs.neu.edu/home/dherman/research/publications/ml07-javascript.pdf.
Subject Terms: Languages, Formal Definitions and Theory—Semantics General Terms Documentation, Standardization Keywords JavaScript, Standard ML, definitional interpreters
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.1 [Formal Definitions and Theory, Semantics, D.3.3 [Language Constructs and Features, Classes and Objects Keywords JavaScript, LambdaJS, getters, setters, accessors, eval, desugar, wat, wtfjs
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics Keywords JavaScript, type systems
File Description: application/pdf
-
5
Authors:
Contributors:
Subject Terms: ming Languages—Program analysis, D.3.1 [PROGRAM- MING LANGUAGES, Formal Definitions and Theory— Semantics, D.4.6 [OPERATING SYSTEMS, Security and Protection—Information flow controls General Terms Security Keywords Type-based Analysi, Dependency, JavaScript
File Description: application/pdf
-
6
Authors: et al.
Source: ACM Transactions on Graphics; Aug2023, Vol. 42 Issue 4, p1-26, 26p
Subject Terms: MACHINE knitting, KNITTING machines, MACHINE knitting patterns, KNOT theory, PROGRAM transformation
-
7
Authors:
Contributors:
Subject Terms: ming Languages—Program analysis, D.3.1 [PROGRAM- MING LANGUAGES, Formal Definitions and Theory— Semantics, D.4.6 [OPERATING SYSTEMS, Security and Protection—Information flow controls General Terms Security Keywords Type-based Analysi, Dependency, JavaScript
File Description: application/pdf
-
8
Authors:
Source: Publications of the Research Institute for Mathematical Sciences; 2025, Vol. 61 Issue 3, p391-445, 55p
Subject Terms: CONFIGURATION space, BRAID group (Knot theory), MODULI theory, RIEMANN surfaces, AUTOMORPHISM groups
-
9
Authors: Sack, Warren
Source: Philosophies; Aug2025, Vol. 10 Issue 4, p86, 23p
-
10
Authors:
Source: Theory & Practice of Logic Programming; May2025, Vol. 25 Issue 3, p340-373, 34p
-
11
Authors: et al.
Source: Innovations in Systems & Software Engineering; Sep2025, Vol. 21 Issue 3, p985-1007, 23p
-
12
Authors: et al.
Source: ISPRS International Journal of Geo-Information; Oct2025, Vol. 14 Issue 10, p382, 43p
-
13
Authors:
Source: Compare: A Journal of Comparative & International Education; Nov2024, Vol. 54 Issue 8, p1308-1327, 20p
-
14
Authors:
Source: International Journal on Software Tools for Technology Transfer; Oct2025, Vol. 27 Issue 5, p487-510, 24p
-
15
Authors: et al.
Source: Software Testing: Verification & Reliability; Jan2025, Vol. 35 Issue 1, p1-30, 30p
-
16
Authors:
Source: International Journal on Software Tools for Technology Transfer; Apr2024, Vol. 26 Issue 2, p147-168, 22p
-
17
Authors: et al.
Source: Cybersecurity (2523-3246); 10/9/2025, Vol. 8 Issue 1, p1-21, 21p
Subject Terms: DATA privacy, ACCESS control, KEYWORD searching, HOSPITAL records, SCALABILITY
-
18
Authors: et al.
Source: ACM Transactions on Software Engineering & Methodology; Jul2025, Vol. 34 Issue 6, p1-28, 28p
-
19
Authors:
Source: MIS Quarterly; Dec2025, Vol. 49 Issue 4, p1513-1538, 26p, 2 Color Photographs, 2 Diagrams, 2 Charts
-
20
Authors: et al.
Source: International Journal of STEM Education; 11/24/2025, Vol. 12 Issue 1, p1-20, 20p
Nájsť tento článok vo Web of Science 
Full Text Finder