Results 251 to 260 of about 432,601 (300)
Some of the next articles are maybe not open access.
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
Manfred Dausmann +5 more
openaire +2 more sources
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
Manfred Dausmann +5 more
openaire +2 more sources
Monadification of attribute grammars
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020We describe a monadification process for attribute grammars for more concisely written attribute equations, closer to the style of inference rules used in traditional typing and evaluation specifications. Inference rules specifying, for example, a typing relation typically consider only typable expressions, whereas well-defined attribute grammars ...
Eric Van Wyk, Dawn Michaelson
openaire +2 more sources
Reticular chemistry: occurrence and taxonomy of nets and grammar for the design of frameworks.
Accounts of Chemical Research, 2005The structures of all 1127 three-periodic extended metal-organic frameworks (MOFs) reported in the Cambridge Structure Database have been analyzed, and their underlying topology has been determined.
N. W. Ockwig +3 more
semanticscholar +1 more source
A Contrastive Study on the Lexicalization of Korean and Greek Motion Events
Studies in Modern Grammar, 2023The following research investigates the lexicalization patterns of motion events in Korean and Greek. Cross-linguistic differences in the encoding of motion events are typically attributed to differences in encoding strategies offered by languages and ...
Hye-Sun Kim
semanticscholar +1 more source
On Generalization of Attribute Grammars
Systems and Computers in Japan, 1996AbstractAn attribute grammar is a formal system consisting of a context‐free grammar together with semantic rules, which enables us to describe not only the syntax but also the semantics of language. The limited framework of attribute grammar, however, is not conducive to expansion of the system and the many ambiguous definitions of attribute grammar ...
Takuya Katayama, Yutaka Kikuchi
openaire +2 more sources
, 2017
What rules of transjudicial communication govern the international criminal tribunals’ invocation of the European Court of Human Rights’ jurisprudence? What parameters should guide the assessments of inter-curial cross-referencing and on what basis can ...
S. Vasiliev
semanticscholar +1 more source
What rules of transjudicial communication govern the international criminal tribunals’ invocation of the European Court of Human Rights’ jurisprudence? What parameters should guide the assessments of inter-curial cross-referencing and on what basis can ...
S. Vasiliev
semanticscholar +1 more source
Apex graph grammars and attribute grammars
Acta Informatica, 1988Apex graph grammars are a particular type of directed node-label controlled (DNLC) graph grammars: the embedding edges are established between terminal nodes only. Apex graph grammars, slightly generalized, can generate the sets of dependency graphs of attribute grammars.
Joost Engelfriet +2 more
openaire +2 more sources
Perspectives on spoken grammar
, 2009English language teachers' opinions on the pedagogic relevance of spoken grammar are beginning to be reported, yet the voices of teachers in East Asia are rarely heard.
C. Goh
semanticscholar +1 more source
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 2015
Many functions take a value of a particular (recursive) data structure as input and compute an output value by traversing the structure and collect, combine, or update values in that data structure. Some examples are: collecting all hyperlink tags in a HTML tree, calculating the depth of a binary tree, or adding a prefix to every free variable name in ...
Alex Gerdes, Ulf Norell
openaire +2 more sources
Many functions take a value of a particular (recursive) data structure as input and compute an output value by traversing the structure and collect, combine, or update values in that data structure. Some examples are: collecting all hyperlink tags in a HTML tree, calculating the depth of a binary tree, or adding a prefix to every free variable name in ...
Alex Gerdes, Ulf Norell
openaire +2 more sources
Reflection in attribute grammars
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019This paper shows how reflection on (undecorated) syntax trees used in attribute grammars can significantly reduce the amount of boiler-plate specifications that must be written. It is implemented in the Silver attribute grammar system in the form of a reflect function mapping syntax trees and other values into a generic representation and a reify ...
Ted Kaminski, Eric Van Wyk, Lucas Kramer
openaire +2 more sources