Výsledky vyhledávání - 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text

Definiteness Autor Lyons, Christopher

“… It outlines work done on the nature of definiteness in semantics, pragmatics and syntax, and develops an account on which definiteness is a grammatical category represented in syntax as a functional head…”
Získat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text

Prototypical Transitivity Autor Naess, Ashild

“…'. It discusses what prototypical transitivity is, why it should exist, and how it should be defined, as well as how this definition can be employed in the analysis of a number of phenomena of language…”
Získat plný text