Results 21 to 30 of about 341,662 (337)
Unified Algebras and Abstract Syntax
BRICS Report Series, 1994 We consider the algebraic specification of abstract syntax in the framework of unified algebras. We illustrate the expressiveness of unified algebraic specifications, and provide a grammar-like notation for specifying abstract syntax, particularly attractive for use in semantic descriptions of full-scale programming languages.
Peter D. Mosses
openaire +3 more sources
Primitive recursion for higher-order abstract syntax [PDF]
Theoretical Computer Science, 1997 AbstractHigher-order abstract syntax is a central representation technique in logical frameworks which maps variables of the object language into variables of the meta-language. It leads to concise encodings, but is incompatible with functions defined by primitive recursion or proofs by induction.
Joëlle Despeyroux +2 more
openaire +3 more sources
A Model-Driven Parser Generator, from Abstract Syntax Trees to Abstract Syntax Graphs [PDF]
arXiv, 2012 Model-based parser generators decouple language specification from language processing. The model-driven approach avoids the limitations that conventional parser generators impose on the language designer. Conventional tools require the designed language grammar to conform to the specific kind of grammar supported by the particular parser generator ...
Quesada, Luis +2 more
openaire +3 more sources
Syntax and Semantics of Abstract Binding Trees [PDF]
arXiv, 2016 The contribution of this paper is the development of the syntax and semantics of multi-sorted nominal abstract binding trees (abts), an extension of second order universal algebra to support symbol-indexed families of operators. Nominal abts are essential for correctly treating the syntax of languages with generative phenomena, including exceptions and
Sterling, Jonathan, Morrison, Darin
openaire +3 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
SCADE Model Checking Based on Program Transformation [PDF]
Jisuanji kexue, 2021 SCADE synchronization language is a common programming language for embedded system.It is often used to realize real-time embedded automatic control system in the research of equipment in aviation,aerospace,transportation and other safety critical fields.
RAN Dan, CHEN Zhe, SUN Yi, YANG Zhi-bin
doaj +1 more source
Code Search Engine for Bug Localization [PDF]
Jisuanji kexue, 2021 With the evolution and the increased complexity of software project,bug fixing is getting more difficult.During the bug fixing,developers need to spend a lot of time on bug localization and fixing.To evaluate this problem,this paper builds a bug-code ...
CHANG Jian-ming, BO Li-li, SUN Xiao-bing
doaj +1 more source
La tête du groupe nominal: l’hypothèse du DP dans les théories génératives
Corela, 2023 This paper discusses what is known in the generative literature as the ‘DP-hypothesis’, i.e., the idea that the head of the Noun Phrase is actually the Determiner, rather than the Noun.
Philip Miller, Geoffrey K. Pullum
doaj +1 more source
A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Cedille is a relatively recent tool based on a Curry-style pure type theory, without a primitive datatype system. Using novel techniques based on dependent intersection types, inductive datatypes with their induction principles are derived. One benefit
Aaron Stump
doaj +1 more source