Výsledky vyhledávání - Formal Definitions and Theory Keywords JavaScript

A Trusted Mechanised JavaScript Specification

Autoři: Martin Bodin Arthur Charguéraud Daniele Filaretti a další

Přispěvatelé: Martin Bodin Arthur Charguéraud Daniele Filaretti a další

Zdroj: http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf.

Témata: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords JavaScript, mechanised semantics, Coq

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400
http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf

Status report: specifying JavaScript with ML

Autoři: David Herman The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: David Herman The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ccs.neu.edu/home/dherman/research/publications/ml07-javascript.pdf.

Témata: Languages, Formal Definitions and Theory—Semantics General Terms Documentation, Standardization Keywords JavaScript, Standard ML, definitional interpreters

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.5707

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.5707
http://www.ccs.neu.edu/home/dherman/research/publications/ml07-javascript.pdf

A Tested Semantics for Getters, Setters, and Eval in JavaScript

Autoři: Joe Gibbs Politz Matthew J. Carroll a další

Přispěvatelé: Joe Gibbs Politz Matthew J. Carroll a další

Zdroj: http://cs.brown.edu/people/sk/Publications/Papers/Published/pclpk-s5-semantics/paper.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.571

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.571
http://cs.brown.edu/people/sk/Publications/Papers/Published/pclpk-s5-semantics/paper.pdf

TeJaS: Retrofitting Type Systems for JavaScript

Autoři: Benjamin S. Lerner Joe Gibbs Politz Arjun Guha a další

Přispěvatelé: Benjamin S. Lerner Joe Gibbs Politz Arjun Guha a další

Zdroj: http://cs.brown.edu/~sk/Publications/Papers/Published/lpgk-tejas-type-sys-js/paper.pdf.

Témata: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics Keywords JavaScript, type systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.9222

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.9222
http://cs.brown.edu/~sk/Publications/Papers/Published/lpgk-tejas-type-sys-js/paper.pdf

Type-based Dependency Analysis for JavaScript

Autoři: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/plas2013-tbda.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.1750

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.1750
http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/plas2013-tbda.pdf

Semantics and Scheduling for Machine Knitting Compilers.

Autoři: Lin, Jenny Narayanan, Vidya Ikarashi, Yuka a další

Zdroj: ACM Transactions on Graphics; Aug2023, Vol. 42 Issue 4, p1-26, 26p

Témata: MACHINE knitting, KNITTING machines, MACHINE knitting patterns, KNOT theory, PROGRAM transformation

Type-based Dependency Analysis for JavaScript

Autoři: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-tbda.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.4360

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.4360
http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-tbda.pdf

Twisted Local Wild Mapping Class Groups: Configuration Spaces, Fission Trees and Complex Braids.

Autoři: Boalch, Philip Douçot, Jean Rembado, Gabriele

Zdroj: Publications of the Research Institute for Mathematical Sciences; 2025, Vol. 61 Issue 3, p391-445, 55p

Témata: CONFIGURATION space, BRAID group (Knot theory), MODULI theory, RIEMANN surfaces, AUTOMORPHISM groups

Interfacing Programming Language Semantics and Pragmatics: What Does "Hello, World" Mean?

Autoři: Sack, Warren

Zdroj: Philosophies; Aug2025, Vol. 10 Issue 4, p86, 23p

Témata: PROGRAMMING language semantics, PRAGMATICS, COMPUTER programming education, CONNOTATION (Linguistics), SPEECH acts (Linguistics), SYNTAX in programming languages, INTERDISCIPLINARY research

FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings.

Autoři: RECHENBERGER, SASCHA FRÜHWIRTH, THOM

Zdroj: Theory & Practice of Logic Programming; May2025, Vol. 25 Issue 3, p340-373, 34p

Témata: MATHEMATICAL category theory, ABSTRACT algebra, SOFTWARE frameworks, PROGRAMMING languages, RULE-based programming, SEMANTICS methodology

Visual animation of B specifications using executable DSLs.

Autoři: Yar, Asfand Idani, Akram Ledru, Yves a další

Zdroj: Innovations in Systems & Software Engineering; Sep2025, Vol. 21 Issue 3, p985-1007, 23p

GeoJSEval: An Automated Evaluation Framework for Large Language Models on JavaScript-Based Geospatial Computation and Visualization Code Generation.

Autoři: Chen, Guanyu Jiao, Haoyue Hou, Shuyang a další

Zdroj: ISPRS International Journal of Geo-Information; Oct2025, Vol. 14 Issue 10, p382, 43p

Témata: GEOGRAPHIC spatial analysis, EVALUATION methodology, LANGUAGE models, SEMANTIC computing, JAVASCRIPT programming language, CODE generators

Coding in rural Balinese non-formal education: social reproduction theory and liberal empowerment.

Autoři: New-Moore, Laurence Pramitasari, Gusti Agung Ayu Mas

Zdroj: Compare: A Journal of Comparative & International Education; Nov2024, Vol. 54 Issue 8, p1308-1327, 20p

Témata: SOCIAL reproduction, NONFORMAL education, EDUCATION policy, UNIVERSITIES & colleges, HIGHER education, STUDENT activities

Logika: the Sireum verification framework.

Autoři: Robby Hatcliff, John Belt, Jason

Zdroj: International Journal on Software Tools for Technology Transfer; Oct2025, Vol. 27 Issue 5, p487-510, 24p

Témata: FORMAL methods (Computer science), SOFTWARE development tools, ABSTRACTION (Computer science), CRITICAL thinking, ADAPTIVE computing systems

Ensuring the Correctness and Reliability of CBPS System Using Event‐B.

Autoři: Hussein Toman, Sarah Hamel, Lazhar Lahouij, Aida a další

Zdroj: Software Testing: Verification & Reliability; Jan2025, Vol. 35 Issue 1, p1-30, 30p

Témata: TELECOMMUNICATION systems, SYSTEMS development, COMPUTER software development, SYSTEMS software, SET theory

Generating interactive documents for domain-specific validation of formal models.

Autoři: Vu, Fabian Happe, Christopher Leuschel, Michael

Zdroj: International Journal on Software Tools for Technology Transfer; Apr2024, Vol. 26 Issue 2, p147-168, 22p

Témata: CODE generators, MODEL validation, JAVASCRIPT programming language, DATA visualization, C++, INDUSTRIAL applications

SEAC: dynamic searchable symmetric encryption with lightweight update-search permission control.

Autoři: Hu, Zhuobin Wang, Jiabei Chen, Zhengkai a další

Zdroj: Cybersecurity (2523-3246); 10/9/2025, Vol. 8 Issue 1, p1-21, 21p

Témata: DATA privacy, ACCESS control, KEYWORD searching, HOSPITAL records, SCALABILITY

Obfuscated Clone Search in JavaScript based on Reinforcement Subsequence Learning.

Autoři: Song, Leo Ding, Steven H. H. Tian, Yuan a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2025, Vol. 34 Issue 6, p1-28, 28p

Témata: JAVASCRIPT programming language, REINFORCEMENT learning, ABSTRACTION (Computer science), ARTIFICIAL neural networks

DEDUCTIVE CERTAINTY? EXPLORING THE BOUNDARIES OF TRUST FORMATION IN SMART CONTRACTS ON BLOCKCHAINS.

Autoři: Obermeier, Daniel Henkel, Joachim

Zdroj: MIS Quarterly; Dec2025, Vol. 49 Issue 4, p1513-1538, 26p, 2 Color Photographs, 2 Diagrams, 2 Charts

AI and engineering careers: recent graduates' outlook on opportunities and challenges.

Autoři: Martin, Julie P. Brown, Jennifer S. Dunmoye, Isaac D. a další

Zdroj: International Journal of STEM Education; 11/24/2025, Vol. 12 Issue 1, p1-20, 20p

Témata: ARTIFICIAL intelligence, ENGINEERING, ECONOMIC change, CURRICULUM, GRADUATION (Education), ETHICAL problems, VOCATIONAL guidance