Results 11 to 20 of about 10,302 (223)
Modular Attribute Grammars [PDF]
Attribute grammars provide a formal declarative notation for describing the semantics and translation of programming languages. Describing any real programming language is a significant software engineering challenge. From a software engineering viewpoint, current notations for attribute grammars have two flaws: tedious repetition of essentially the ...
G. D. P. Dueck, Gordon V. Cormack
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Interpretation and reduction of attribute grammars [PDF]
An attribute grammar (AG) is in reduced form if in all its derivation trees every attribute contributes to the translation. We prove that, eventhough AG are generally not in reduced form, they can be reduced, i.e., put into reduced form, without modifying their translations. This is shown first for noncircular AG and then for arbitrary AG.
openaire +3 more sources
Error Recovery with Attribute Grammars [PDF]
The problem of the semantic definition of a programming language has been approached by Knuth by means of 'attribute grammar'.' They consist of a syntactic part, which is typically a context-free grammar, and of a semantic part, made up of a set of attributes associated to each symbol and of a set of semantic functions used to evaluate the attributes ...
M. Di Manzo, D. Sciarra, A. Boccalatte
openaire +2 more sources
The automatic inversion of attribute grammars
Over the last decade there has developed an acute awareness of the need to introduce abstraction and mathematical rigor into the programming process. This increased formality allows for the automatic manipulation of software, increasing productivity and, even more importantly, the manageability of complex systems.
Yellin, Daniel, Mueckstein, Eva-Maria M.
openaire +4 more sources
Attribute grammars are useful for combinatorics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maylis Delest, Jean-Marc Fédou
openaire +2 more sources
The influence of Hot Isostatic Pressing (HIP) temperature on the microstructure and creep performance of powder bed fusion–laser beam processed CM247LC superalloy is investigated. Grain growth and γ’ precipitate evolution are characterized following HIP at varying temperatures.
Ahmed Fardan+4 more
wiley +1 more source
3D Bioinspired Hair‐Based Solar Evaporator for Efficient Water Harvesting
A bio‐derived solar evaporator inspired by blackbody radiation is developed using human hair waste. The vertically aligned hair structure enables broadband light absorption, efficient thermal localization, and rapid water transport, achieving high evaporation rates and stable desalination performance.
Yi Liu+10 more
wiley +1 more source
Tailoring the Properties of Functional Materials With N‐Oxides
The properties of materials bearing N‐oxide groups are often dominated by the polar N+─O− bond. It provides hydrophilicity, selective ion‐binding, electric conductivity, or antifouling properties. Many of the underlying mechanisms have only recently been discovered, and the interest in N‐oxide materials is rapidly growing.
Timo Friedrich+5 more
wiley +1 more source
Dual‐phase MoC/Mo2C/CoNC nanoframes are synthesized via a MOF‐on‐MOF strategy, demonstrating a large salt adsorption capacity, a low energy consumption, and an excellent cycling stability. In situ/ex situ characterizations and DFT calculations reveal that the MoC/Mo2C dual phase transition facilitates Na+ adsorption/desorption, while interface‐induced ...
Feifei Pang+8 more
wiley +1 more source