103 research outputs found
CAN WE TRANSFORM LOGIC PROGRAMS INTO ATTRIBUTE GRAMMARS?
In this paper we study the relationship between Attribute Grammars and Logic Programs,
concentrating on transforming logic programs into attribute grammars. This
has potential applications in compilation techniques for logic programs. It does not
seem possible to transform arbitrary Logic Programs into Attribute Grammars, basically
because the same logic variables can sometimes be used as input and sometimes as
output. We introduce the notion of an Abstract Attribute Grammar, which is similar to
that of an Attribute Grammar with the exception that attributes are not classified into
inherited and synthesized, and that the semantic equations are replaced by restriction
sets. These sets represent a restriction on the values of attribute occurrences namely,
all elements within each set have to be equal. We give an effective translation schema
which produces an equivalent Abstract Attribute Grammar for a given Logic Program.
We provide a formal proof of this equivalence. We then proceed to classify a class
of Abstract Attribute Grammars that can be transformed into Attribute Grammars,
and show how to achieve this transformation. By composing both transformations one
can transform certain logic programs into attribute grammars. Complete proofs ar5e
given.Information Systems Working Papers Serie
Proof-Theoretic Methods for Analysis of Functional Programs
We investigate how, in a natural deduction setting, we can specify concisely a wide variety of tasks that manipulate programs as data objects. This study will provide us with a better understanding of various kinds of manipulations of programs and also an operational understanding of numerous features and properties of a rich functional programming language. We present a technique, inspired by structural operational semantics and natural semantics, for specifying properties of, or operations on, programs. Specifications of this sort are presented as sets of inference rules and are encoded as clauses in a higher-order, intuitionistic meta-logic. Program properties are then proved by constructing proofs in this meta-logic. We argue the following points regarding these specifications and their proofs: (i) the specifications are clear and concise and they provide intuitive descriptions of the properties being described; (ii) a wide variety of program analysis tools can be specified in a single unified framework, and thus we can investigate and understand the relationship between various tools; (iii) proof theory provides a well-established and formal setting in which to examine meta-theoretic properties of these specifications; and (iv) the meta-logic we use can be implemented naturally in an extended logic programming language and thus we can produce experimental implementations of the specifications. We expect that our efforts will provide new perspectives and insights for many program manipulation tasks
CAN WE TRANSFORM LOGIC PROGRAMS INTO ATTRIBUTE GRAMMARS?
In this paper we study the relationship between Attribute Grammars and Logic Programs,
concentrating on transforming logic programs into attribute grammars. This
has potential applications in compilation techniques for logic programs. It does not
seem possible to transform arbitrary Logic Programs into Attribute Grammars, basically
because the same logic variables can sometimes be used as input and sometimes as
output. We introduce the notion of an Abstract Attribute Grammar, which is similar to
that of an Attribute Grammar with the exception that attributes are not classified into
inherited and synthesized, and that the semantic equations are replaced by restriction
sets. These sets represent a restriction on the values of attribute occurrences namely,
all elements within each set have to be equal. We give an effective translation schema
which produces an equivalent Abstract Attribute Grammar for a given Logic Program.
We provide a formal proof of this equivalence. We then proceed to classify a class
of Abstract Attribute Grammars that can be transformed into Attribute Grammars,
and show how to achieve this transformation. By composing both transformations one
can transform certain logic programs into attribute grammars. Complete proofs ar5e
given.Information Systems Working Papers Serie
Lexical typology through similarity semantics: Toward a semantic map of motion verbs
This paper discusses a multidimensional probabilistic semantic map of lexical motion verb stems based on data collected from parallel texts (viz. translations of the Gospel according to Mark) for 100 languages from all continents. The crosslinguistic diversity of lexical semantics in motion verbs is illustrated in detail for the domain of `go', `come', and `arrive' type contexts. It is argued that the theoretical bases underlying probabilistic semantic maps from exemplar data are the isomorphism hypothesis (given any two meanings and their corresponding forms in any particular language, more similar meanings are more likely to be expressed by the same form in any language), similarity semantics (similarity is more basic than identity), and exemplar semantics (exemplar meaning is more fundamental than abstract concepts)
- …