Results 1 to 10 of about 6,857,309 (337)
Normalization by evaluation with typed abstract syntax [PDF]
BRICS Report Series, 2001 <p>We present a simple way to implement typed abstract syntax for the<br />lambda calculus in Haskell, using phantom types, and we specify <br />normalization by evaluation (i.e., type-directed partial evaluation) to yield this<br />typed abstract syntax.
Olivier Danvy +2 more
+9 more sources
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 +5 more sources
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 +6 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
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
openalex +3 more sources
Primitive recursion for higher-order abstract syntax [PDF]
Theoretical Computer Science, 2001 Higher-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.
Carsten Schürmann +2 more
openalex +4 more sources
Big Data and Cognitive ComputingCode duplication, commonly referred to as code cloning, is not inherent in software systems but arises due to various factors, such as time constraints in meeting project deadlines.
Thanoshan Vijayanandan +4 more
doaj +2 more sources
SYNTAX I score is associated with genetically confirmed familial hypercholesterolemia in chinese patients with coronary heart disease [PDF]
BMC Cardiovascular DisordersBackground Familial hypercholesterolemia (FH) is a genetically inherited disorder caused by monogenic mutations or polygenic deleterious variants. Patients with FH innate with significantly elevated risks for coronary heart disease (CHD).
Yihan Wang +4 more
doaj +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