Search Results - Formal Definitions and Theory: Syntax and Semantics

JISET: JavaScript IR-based Semantics Extraction Toolchain by Park, Jihyeok, Park, Jihee, An, Seungmin, Ryu, Sukyoung

“… Thus, researchers have proposed several attempts to define the formal semantics of JavaScript based on ECMAScript, the official JavaScript specification…”
Get full text

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis by Shi, Chenghang, Li, Haofeng, Sui, Yulei, Lu, Jie, Li, Lian, Xue, Jingling

“…Context-free language (CFL) reachability is a fundamental framework for formulating program analyses. CFL-reachability analysis works on top of an edge-labeled…”
Get full text

funCode—Versatile Syntax and Semantics for Functional Harmonic Analysis Labels by Lepper, Markus, Trancòn y Widemann, Baltasar, Oehler, Michael

“… But whenever automated processing like analysis, comparison or retrieval is intended, a formal definition is helpful…”
Get full text

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT by Kraus, Nicolai

“…Using dependent type theory to formalise the syntax of dependent type theory is a very active topic of study and goes under the name of "type theory eating itself" or "type theory in type theory…”
Get full text

Theories of argument structure: The connection between lexical information and syntactic structure by Fábregas, Antonio

“…-skeletal theories, where lexical items must adapt their meaning to whichever argument structure syntax has defined…”
Get full text

Enhancing Code Safety in Quantum Intermediate Representation by Luo, Junjie, Zhao, Jianjun

“… of intermediate representations and compilers. However, the lack of a formal definition and reliance on natural language descriptions in the current state of QIR result in interpretational ambiguity and a dearth of rigor in implementing quantum functions…”
Get full text

Formalization of Quantum Intermediate Representations for code safety by Luo, Junjie, Zhao, Jianjun

“… Currently, QIR remains in the development phase and is described informally in natural language, lacking a formal definition…”
Get full text

On the characterization of alternatives by Fox, Danny, Katzir, Roni

“…We present an argument for revising the theory of alternatives for Scalar Implicatures and for Association with Focus…”
Get full text

Taking Scope: The Natural Semantics of Quantifiers by Steedman, Mark

“…A novel view of the syntax and semantics of quantifier scope that argues for a “combinatory” theory of natural language syntax…”
Get full text

Enterprise architecture analysis with extended influence diagrams by Johnson, Pontus, Lagerström, Robert, Närman, Per, Simonsson, Mårten

“… the level of enterprise information security. This paper proposes the use of a formal language to support such analysis…”
Get full text

The theory of the sentence secondary members in D. M. Ovsianyko-Kulykovskyі’s syntax studies and its practical implementation by Aniutina, Hanna

“… Ovsianyko-Kulykovskyі, the influence of his studies on modern syntax theories and suggest criteria of discovering the presence of object relations between the verb and its direct object…”
Get full text

Bringing the WebAssembly Standard up to Speed with SpecTec by Youn, Dongjun, Shin, Wonho, Lee, Jaehyun, Ryu, Sukyoung, Breitner, Joachim, Gardner, Philippa, Lindley, Sam, Pretnar, Matija, Rao, Xiaojia, Watt, Conrad, Rossberg, Andreas

“…s. Its specification is unusually rigorous – including a full formal semantics for the language – and every new feature must be specified in this formal semantics, in prose, and in the official reference interpreter before it can…”
Get full text

Precise Service Level Agreements by Skene, James, Lamanna, D. Davide, Emmerich, Wolfgang

“… We definethe semantics of SLAng precisely by modelling the syntax ofthe language in UML, then relating the language model toa model that describes the structure and behaviour…”
Get full text

Versatile Syntax and Semantics for Functional Harmonic Analysis Labels by Markus Lepper, Baltasar Trancòn y Widemann, Michael Oehler

“… But whenever automated processing like analysis, comparison or retrieval is intended, a formal definition is helpful…”
Get full text

An object-oriented approach to language compositions for software language engineering by Mernik, Marjan

“… (language syntax and semantics are hard-coded in compiler/interpreter) and formal language descriptions…”
Get full text

Synthesis of Semantic Actions in Attribute Grammars by Kalita, Pankaj Kumar, Kumar, Miriyala Jeevan, Roy, Subhajit

“…Attribute grammars allow the association of semantic actions to the production rules in context-free grammars, providing a simple yet effective formalism to define the semantics of a language…”
Get full text

Analytical Theology: Deductive Proof of the Theorem of UnDecidability (In A Logically Formalized Axiomatic Theory Sigma) Of Formula [Dx] Representing (In A Relevant Theistic Interpretation) the Statement of God Existence by Lobovikov V.O.

“… of this statement in a formal axiomatic system of philosophical epistemology and axiology (general theory of values…”
Get full text

Source code annotations as formal languages by Nosal, Milan, Sulir, Matus, Juhar, Jan

“…: concrete syntax, abstract syntax, and semantics. The discussion provides evidence of the hypothesized correspondence and we use it as a basis for our definition of an annotation-based language (abbreviated: @L…”
Get full text

Extending Languages by Leveraging Compilers: From Modelica to Optimica by Hedin, Görel, Åkesson, J, Ekman, Torbjörn

“…Constructing compilers using ordinary object-oriented programming takes advantage of parser generators to construct abstract syntax trees (ASTs…”
Get full text

An institution theory of formal meta-modelling in graphically extended BNF by ZHU, Hong

“…） is proposed to define the abstract syn- tax of graphic modelling languages. From a GEBNF syntax definition, a formal predicate logic language can be induced so that meta…”
Get full text