Výsledky vyhľadávania - Formal Definitions and Theory: Syntax and Semantics

JISET: JavaScript IR-based Semantics Extraction Toolchain Autor 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…”
Získať plný text

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis Autor 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…”
Získať plný text

funCode—Versatile Syntax and Semantics for Functional Harmonic Analysis Labels Autor 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…”
Získať plný text

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT Autor 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…”
Získať plný text

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

“…A novel view of the syntax and semantics of quantifier scope that argues for a “combinatory” theory of natural language syntax…”
Získať plný text

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

“…-skeletal theories, where lexical items must adapt their meaning to whichever argument structure syntax has defined…”
Získať plný text

Enhancing Code Safety in Quantum Intermediate Representation Autor 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…”
Získať plný text

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

“… Currently, QIR remains in the development phase and is described informally in natural language, lacking a formal definition…”
Získať plný text

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

“…We present an argument for revising the theory of alternatives for Scalar Implicatures and for Association with Focus…”
Získať plný text

Enterprise architecture analysis with extended influence diagrams Autor 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…”
Získať plný text

Two-dimensional Semantics: Clausal Adjuncts and Complements Autor Scheffler, Tatjana

“…This book argues that in order to account for the compositional behavior of many near-synonymous items, semantic analyses need to pay close attention to at least two semantic dimensions…”
Získať plný text

The theory of the sentence secondary members in D. M. Ovsianyko-Kulykovskyі’s syntax studies and its practical implementation Autor 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…”
Získať plný text

Bringing the WebAssembly Standard up to Speed with SpecTec Autor 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…”
Získať plný text

Precise Service Level Agreements Autor 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…”
Získať plný text

Versatile Syntax and Semantics for Functional Harmonic Analysis Labels Autor 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…”
Získať plný text

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

“… (language syntax and semantics are hard-coded in compiler/interpreter) and formal language descriptions…”
Získať plný text

Synthesis of Semantic Actions in Attribute Grammars Autor 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…”
Získať plný 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 Autor Lobovikov V.O.

“… of this statement in a formal axiomatic system of philosophical epistemology and axiology (general theory of values…”
Získať plný text

Source code annotations as formal languages Autor 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…”
Získať plný text

Extending Languages by Leveraging Compilers: From Modelica to Optimica Autor 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…”
Získať plný text