Suchergebnisse - Formal Definitions and Theory: Syntax and Semantics

JISET: JavaScript IR-based Semantics Extraction Toolchain von 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 …”
Volltext

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis von 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 …”
Volltext

funCode—Versatile Syntax and Semantics for Functional Harmonic Analysis Labels von 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 …”
Volltext

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT von 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 …”
Volltext

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

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

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

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

Enhancing Code Safety in Quantum Intermediate Representation von 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 …”
Volltext

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

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

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

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

Enterprise architecture analysis with extended influence diagrams von 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 …”
Volltext

Two-dimensional Semantics: Clausal Adjuncts and Complements von 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 …”
Volltext

The theory of the sentence secondary members in D. M. Ovsianyko-Kulykovskyі’s syntax studies and its practical implementation von 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 …”
Volltext

Vector Semantics von Kornai, András

“… This open access book introduces Vector semantics, which links the formal theory of word vectors to the cognitive theory of linguistics …”
Volltext

Bringing the WebAssembly Standard up to Speed with SpecTec von 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 …”
Volltext

Precise Service Level Agreements von 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 …”
Volltext

Versatile Syntax and Semantics for Functional Harmonic Analysis Labels von 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 …”
Volltext

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

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

Synthesis of Semantic Actions in Attribute Grammars von 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 …”
Volltext

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 von Lobovikov V.O.

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

Source code annotations as formal languages von 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 …”
Volltext