Search Results - Formal Definitions and Theory—Semantics Keywords JavaScript

Status report: specifying JavaScript with ML

Authors: David Herman The Pennsylvania State University CiteSeerX Archives

Contributors: David Herman The Pennsylvania State University CiteSeerX Archives

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

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

Availability: 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

TeJaS: Retrofitting Type Systems for JavaScript

Authors: Benjamin S. Lerner Joe Gibbs Politz Arjun Guha et al.

Contributors: Benjamin S. Lerner Joe Gibbs Politz Arjun Guha et al.

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

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

File Description: application/pdf

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

Availability: 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

Authors: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Contributors: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

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

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

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

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

Type-based Dependency Analysis for JavaScript

Authors: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Contributors: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

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

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

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

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

Engineering with Logic.

Authors: Bishop, Steve Fairbairn, Matthew Mehnert, Hannes et al.

Source: Journal of the ACM; Jan2019, Vol. 66 Issue 1, p1-77, 77p

Subject Terms: COMPUTER engineering, DEBUGGING, TCP/IP, AUTOMATION, SOFTWARE engineering

Towards a Theory of Interoperability of Software Systems.

Alternate Title: Hacia una teoría de interoperabilidad de los sistemas de software. (Spanish)

Authors: Torres, Diana M. Chen, David Villavicencio, Mónica K. et al.

Source: Revista Ingeniería e Investigación; dic2023, Vol. 43 Issue 3, p1-12, 12p

Subject Terms: COMPUTER programming, COMPUTER software industry, COMPUTER software quality control, PROGRAMMING languages, COMMUNICATIONS software, SOFTWARE refactoring, PYTHON programming language

The linked legal data landscape: linking legal data across different countries.

Authors: Filtz, Erwin Kirrane, Sabrina Polleres, Axel

Source: Artificial Intelligence & Law; Dec2021, Vol. 29 Issue 4, p485-539, 55p

Subject Terms: LINKED data (Semantic Web), LEGAL literature, LEGAL documents

Geographic Terms: EUROPE, AUSTRIA

Company/Entity: EUROPEAN Union

Contracts for First-Class Classes.

Authors: STRICKLAND, T. STEPHEN DIMOULAS, CHRISTOS TAKIKAWA, ASUMU et al.

Source: ACM Transactions on Programming Languages & Systems; Nov2013, Vol. 35 Issue 3, p11-11:58, 58p

Subject Terms: SOFTWARE architecture, PROGRAMMING languages, COMPUTER programming, COMPUTER software, PROGRAMMING software

Reasoning about Web Applications: An Operational Semantics for HOP.

Authors: Boudol, Gérard Zhengqin Luo Rezk, Tamara et al.

Source: ACM Transactions on Programming Languages & Systems; Jun2012, Vol. 34 Issue 2, p10:1-10:40, 10p

Subject Terms: WEB-based user interfaces, APPLICATION software, HTML (Document markup language), INTERNET, WEB browsers, PROGRAMMING language semantics

Codility. Application of Olympiad-Style Code Assessment to Pre-Hire Screening of Programmers.

Authors: Jakacki, Grzegorz Kubica, Marcin Wale´n, Tomasz

Source: Olympiads in Informatics; 2011, Vol. 5, p32-43, 12p

Subject Terms: EMPLOYMENT of computer programmers, EMPLOYEE recruitment, OLYMPIADS (Computers), WEB services, COMPUTER software development

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

The Web of Data

Authors: Aidan Hogan

Resource Type: eBook.

Subjects: Semantic Web, Metadata

Categories: COMPUTERS / Business & Productivity Software / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / System Administration / Storage & Retrieval

Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings

Authors: Bernd-Holger Schlingloff Ming Chai

Resource Type: eBook.

Subjects: Software engineering, Data structures (Computer science), Information theory, Logic programming, Microprogramming, Computer systems, Computer programming

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Computer Aided Verification

Authors: Alexandra Silva K. Rustan M. Leino

Resource Type: eBook.

Subjects: Artificial intelligence, Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Computer Simulation

Innovative Data Integration and Conceptual Space Modeling for COVID, Cancer, and Cardiac Care

Authors: Amy Neustein Nathaniel Christen

Resource Type: eBook.

Categories: SCIENCE / Biotechnology, TECHNOLOGY & ENGINEERING / Biomedical

Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Authors: Frank S. de Boer Marcello M. Bonsangue Susanne Graf et al.

Resource Type: eBook.

Subjects: Software engineering, Compilers (Computer programs), Computer science, Operating systems (Computers)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General

Intelligent Systems: Theory, Research and Innovation in Applications

Authors: Ricardo Jardim-Goncalves Vassil Sgurev Vladimir Jotsov et al.

Resource Type: eBook.

Subjects: Computational intelligence, Neural networks (Computer science)

Categories: COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Applied, TECHNOLOGY & ENGINEERING / Engineering (General)

Engineering Trustworthy Software Systems

Authors: Jonathan P. Bowen Zhiming Liu Zili Zhang

Resource Type: eBook.

Subjects: Software engineering, Computer networks, Artificial intelligence, Computer programming, Computer systems, Natural language processing (Computer science)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Applied Graph Data Science : Graph Algorithms and Platforms, Knowledge Graphs, Neural Networks, and Applied Use Cases

Authors: Pethuru Raj Pushan Kumar Dutta Peter Han Joo Chong et al.

Resource Type: eBook.

Subjects: Graph theory, Graph theory--Data processing, Graphic methods--Data processing

Categories: COMPUTERS / Data Science / General

Graph Transformation

Authors: Jörg Endrullis Matthias Tichy

Resource Type: eBook.

Subjects: Computer science--Congresses, Graph theory--Data processing--Congresses

Categories: COMPUTERS / Computer Science