Harvey Abramson

发表

Relation of Logic Grammars to Prolog

Veronica Dahl, Harvey Abramson, 1989 .

A Logic Programming View of Relational Morphology

Harvey Abramson, 1992, COLING.

Introduction to Special Issue on Natural Language and Logic Programming

Verónica Dahl, Michael C. McCord, Harvey Abramson, 1986, J. Log. Program..

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

Harvey Abramson, 1991, Natural Language Understanding and Logic Programming Workshop.

Definite Clause Translation Grammars and their Applications

Veronica Dahl, Harvey Abramson, 1989 .

Compiling Functional Programming Constructs to a Logic Engine

Harvey Abramson, Peter Ludemann, 1986 .

Definite Clause Translation Grammars

Harvey Abramson, H. Abramson, 1984, SLP.

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

John Peck, Harvey Abramson, Mark Fox, 1978, ACM Annual Conference.

TOSI: A tree oriented string interpreter for the design and implementation of semantics

Harvey Abramson, Ted Venema, Tom Rushworth, 1977, Softw. Pract. Exp..

Bottom Up Parsing

Veronica Dahl, Harvey Abramson, 1989 .

Developing a Logic Grammar for a Formal Application

Veronica Dahl, Harvey Abramson, 1989 .

A prological definition of HASL a purely functional language with unification based conditional binding expressions

Harvey Abramson, H. Abramson, 1984, New Generation Computing.

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

Harvey Abramson, 1988, ICLP/SLP.

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

Harvey Abramson, H. Abramson, 1977, ACM Annual Conference.

Ordered types and a generalized for statement

Harvey Abramson, 1977, SIGP.

Logic Grammars

Verónica Dahl, Harvey Abramson, Harvey Abramson, 1989, Symbolic Computation.

Meta-programming in logic programming

Harvey Abramson, M. H. Rogers, 1989 .

Choosing Internal Representations for Natural Language

Veronica Dahl, Harvey Abramson, 1989 .

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

Harvey Abramson, H. Abramson, 1984, FGCS.

Logic programming as a formalism for specification and implementation of computer systems

Harvey Abramson, Anthony Joseph Kusalik, A. Kusalik, 1988 .

Sequential and Concurrent Deterministic Logic Grammars

Harvey Abramson, 1986, ICLP.

Three BCPL Machines

Harvey Abramson, 1979 .

Introduction and Historic Overview

Veronica Dahl, Harvey Abramson, 1989 .

Logic Grammars: With 40 Illustrations

Veronica Dahl, Harvey Abramson, 1990 .

Unification-based Conditional Binding Constructs

Harvey Abramson, 1982, ICLP.

Modifier Structure Grammars

Veronica Dahl, Harvey Abramson, 1989 .

Parsing with Commitment

Veronica Dahl, Harvey Abramson, 1989 .

Why Is a Goto Like a Dynamic Vector in the BCPL-Slim Computing System

Harvey Abramson, 1980 .

The Pica-B Computer

Mark S. Fox, Harvey Abramson, Michael Gorlick, 1979 .

Generalized LL(K) grammars for Concurrent Logic Programming Languages

Harvey Abramson, 1987 .