Results 1 to 10 of about 18,484 (310)
An EMOF-Compliant Abstract Syntax for Bigraphs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Bigraphs are an emerging modeling formalism for structures in ubiquitous computing. Besides an algebraic notation, which can be adopted to provide an algebraic syntax for bigraphs, the bigraphical theory introduces a visual concrete syntax which is ...
Timo Kehrer +2 more
doaj +3 more sources
Abstract Syntax as Interlingua: Scaling Up the Grammatical Framework from Controlled Languages to Robust Pipelines [PDF]
Computational Linguistics, 2020 syntax is an interlingual representation used in compilers. Grammatical Framework (GF) applies the abstract syntax idea to natural languages. The development of GF started in 1998, first as a tool for controlled language implementations, where it has ...
Ranta, Aarne +3 more
doaj +2 more sources
A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars
Journal of Language Modelling, 2018 We present a model of the syntax-semantics interface for Tree-Adjoining Grammars (TAGs). It is based on the encoding of TAGs within the framework of Abstract Categorial Grammars (ACGs).
Sylvain Pogodalla
doaj +3 more sources
Mistakes weren't made: Three-year-olds' comprehension of novel-verb passives provides evidence for early abstract syntax. [PDF]
Cognition, 2018 Messenger K, Fisher C.
europepmc +3 more sources
Abstract Syntax and Variable Binding (Extended Abstract)
, 2003 We develop a theory of abstract syntax with variable binding. To every binding signature we associate a category of models consisting of variable sets endowed with compatible algebra and substitution structures. The syntax generated by the signature is the initial model. This gives a notion of initial algebra semantics encompassing the traditional one;
Fiore, Marcelo P +2 more
openaire +2 more sources
Numeral Subjects in Polish: Surface Morphology vs. Abstract Syntax [PDF]
Beiträge zur Allgemeinen und Vergleichenden Sprachwissenschaft, 2021 Numeral subjects in Polish show a non-uniform agreement pattern with the verb depending on the cardinality of the numeral (paucal vs. high) and the gender of the NP. Full agreement shows with paucal numerals (
Jacek Witkoś
doaj +1 more source
Smart Contract Vulnerability Detection Based on Abstract Syntax Tree Pruning [PDF]
Jisuanji kexue, 2023 With the development of blockchain technology,smart contracts have been widely used in various fields,and Ethereum has become the largest smart contract platform.At the same time,the frequent smart contract vulnerabilities have caused huge economic ...
LIU Zerun, ZHENG Hong, QIU Junjie
doaj +1 more source
Software Defect Prediction via Heavy Son Node-based Abstract Syntax Tree [PDF]
Jisuanji gongcheng, 2021 In the actual software project development, software defect prediction can assist testers to find possible defects in the project.Through the Abstract Syntax Tree(AST), the hidden structure and semantic information in the project module can be obtained ...
HUANG Xiaowei, FAN Guisheng, YU Huiqun, YANG Xingguang
doaj +1 more source
Extended Initiality for Typed Abstract Syntax [PDF]
Logical Methods in Computer Science, 2012 Initial Semantics aims at interpreting the syntax associated to a signature as the initial object of some category of 'models', yielding induction and recursion principles for abstract syntax.
Benedikt Ahrens
doaj +1 more source