Harvey Abramson

17 papers B 4Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
1992 B conf
A Logic Programming View of Relational Morphology.
COLING
Harvey Abramson
1991 — conf
Definite Feature Grammars for Natural and Formal Languages: An Introduction to the Formalism.
Natural Language Understanding and Logic Programming Workshop
Harvey Abramson
1989 — book
Logic grammars.
Harvey Abramson, Verónica Dahl
1989 — ed.
Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988.
META
Harvey Abramson, M. H. Rogers
1988 — conf
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming.
ICLP/SLP
Harvey Abramson
1986 — ch.
A Prological Definition of HASL: A Purely Functional Language with Unification-Based Conditional Binding Expressions.
Logic Programming: Functions, Relations, and Equations
Harvey Abramson
1986 J jnl
Introduction to Special Issue on Natural Language and Logic Programming.
J. Log. Program.
Michael C. McCord, Verónica Dahl, Harvey Abramson
1986 B conf
Sequential and Concurrent Deterministic Logic Grammars.
ICLP
Harvey Abramson
1984 J jnl
A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions.
New Gener. Comput.
Harvey Abramson
1984 — conf
Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars.
FGCS
Harvey Abramson
1984 — conf
Definite Clause Translation Grammars.
SLP
Harvey Abramson
1983 B conf
A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions.
Logic Programming Workshop
Harvey Abramson
1982 B conf
Unification-based Conditional Binding Constructs.
ICLP
Harvey Abramson
1978 — conf
The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment.
ACM Annual Conference (1)
Harvey Abramson, Mark Fox, Michael Gorlick, Vince Manis, John E. L. Peck
1977 J jnl
Ordered types and a generalized <u>for</u> statement.
ACM SIGPLAN Notices
Harvey Abramson
1977 — conf
REGULUS: A general purpose macro processor based on regular expressions part one.
ACM Annual Conference
Harvey Abramson
1977 J jnl
TOSI: A Tree Oriented String Interpreter for the Design and Implementation of Semantics.
Softw. Pract. Exp.
Harvey Abramson, Tom Rushworth, Ted Venema