Results 1 to 10 of about 1,442 (175)
Modeling structure-function relationships in synthetic DNA sequences using attribute grammars. [PDF]
PLoS Computational Biology, 2009 Recognizing that certain biological functions can be associated with specific DNA sequences has led various fields of biology to adopt the notion of the genetic part.
Yizhi Cai +3 more
doaj +2 more sources
An attribute grammar for Ada [PDF]
ACM SIGPLAN Notices, 1982 We describe the development of a formal specification of the static semantics of Ada in form of an attribute grammar. This specification is complete, and was tested extensively with automatically generated equivalent Pascal programs. From this specification we systematically developed the semantic analysis part of our Ada Compiler Front End. We outline
Sophia Drossopoulou +5 more
openalex +3 more sources
Aspect-Oriented Attribute Grammars
Electronics and Electrical Engineering, 2011 Nepaisant kelių mokslininkų pastangų, skirtų kalbų modulumui tirti, vis tiek islieka kalbos specifikos problema. Pateikiamas formalus požiūris į gerai žinomas programavimo kalbas. Pristatomas naujas kalbos specifikos tyrimas, padidinantis modulumą, pritaikymą, o kartu ir mažinantis kūrėjų pastangas sukurti naują kalbą. Il. 4, bibl.
Marjan Mernik, D. Rebernak
openalex +5 more sources
Conditional attribute grammars [PDF]
ACM Transactions on Programming Languages and Systems, 1996 Attribute grammars are a useful formalism for the specification of computations on structured terms. The classical definition of attribute grammars, however, has no way of treating conditionals nonstrictly. Consequently, the natural way of expressing many otherwise well-behaved computations involves a circularity. This article presents
John Boyland
openalex +3 more sources
Grammar-Based Specification and Parsing of Binary File Formats
International Journal of Digital Curation, 2012 The capability to validate and view or play binary file formats, as well as to convert binary file formats to standard or current file formats, is critically important to the preservation of digital data and records. This paper describes the extension of
William Underwood
doaj +11 more sources
Mathematics, 2023 Our previous study showed that automatically generated attribute grammars were harder to comprehend than manually written attribute grammars, mostly due to unexpected solutions.
Tomaž Kosar +3 more
doaj +1 more source
On Comprehension of Genetic Programming Solutions: A Controlled Experiment on Semantic Inference
Mathematics, 2022 Applied to the problem of automatic program generation, Genetic Programming often produces code bloat, or unexpected solutions that are, according to common belief, difficult to comprehend.
Boštjan Slivnik +3 more
doaj +1 more source
Extended Attribute Grammars [PDF]
The Computer Journal, 1981 <p>Two new formalisms are introduced: extended attribute grammars, which are capable of defining completely the syntax of programming languages, and extended attributed trans!ation grammars, which are additionally capable of defining their semantics by translation.
Watt, David A., Madsen, Ole Lehrmann
openaire +4 more sources
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 After 20 years of Triple Graph Grammars (TGGs) and numerous actively maintained implementations, there is now a need for challenging examples and success stories to show that TGGs can be used for real-world bidirectional model transformations.
Anthony Anjorin, Marius Lauder
doaj +1 more source
From Grammar Inference to Semantic Inference—An Evolutionary Approach
Mathematics, 2020 This paper describes a research work on Semantic Inference, which can be regarded as an extension of Grammar Inference. The main task of Grammar Inference is to induce a grammatical structure from a set of positive samples (programs), which can sometimes
Željko Kovačević +3 more
doaj +1 more source