Harvey Abramson

According to our database, Harvey Abramson authored at least 16 papers between 1977 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1992

A Logic Programming View of Relational Morphology.

Harvey Abramson

Proceedings of the 14th International Conference on Computational Linguistics, 1992

1991

Definite Feature Grammars for Natural and Formal Languages: An Introduction to the Formalism.

Harvey Abramson

Proceedings of the Natural Language Understanding and Logic Programming, 1991

1989

Logic grammars.

Harvey Abramson, Verónica Dahl

Symbolic computation: artificial intelligence, Springer, ISBN: 3540969616, 1989

1988

Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming.

Harvey Abramson

Proceedings of the Logic Programming, 1988

1986

Introduction to Special Issue on Natural Language and Logic Programming.

Michael C. McCord, Verónica Dahl, Harvey Abramson

J. Log. Program., 1986

Sequential and Concurrent Deterministic Logic Grammars.

Harvey Abramson

Proceedings of the Third International Conference on Logic Programming, 1986

A Prological Definition of HASL: A Purely Functional Language with Unification-Based Conditional Binding Expressions.

Harvey Abramson

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984

A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions.

Harvey Abramson

New Gener. Comput., 1984

Definite Clause Translation Grammars.

Harvey Abramson

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars.

Harvey Abramson

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions.

Harvey Abramson

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

Unification-based Conditional Binding Constructs.

Harvey Abramson

Proceedings of the First International Logic Programming Conference, 1982

1978

The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment.

Harvey Abramson, Mark Fox, Michael Gorlick, Vince Manis, John E. L. Peck

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

TOSI: A Tree Oriented String Interpreter for the Design and Implementation of Semantics.

Harvey Abramson, Tom Rushworth, Ted Venema

Softw. Pract. Exp., 1977

Ordered types and a generalized <u>for</u> statement.

Harvey Abramson

ACM SIGPLAN Notices, 1977

REGULUS: A general purpose macro processor based on regular expressions part one.

Harvey Abramson

Proceedings of the 1977 annual conference, 1977