Paper: Feature Graphs And Abstract Data Types: A Unifying Approach

ACL ID C88-1009
Title Feature Graphs And Abstract Data Types: A Unifying Approach
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1988
Authors

Data Types: A Unifying Approach Christoph BEIERLE and Udo PLETAT IBM Deutschland GmbH Science and Technology - LILOG P.O. Box 80 08 80 7000 Stuttgart 80, West Germany (electronic mail on EARN/BITNET: BEIERLE at DS#LILOG, PLETAT at DS#LILOG) Abstract: Feature graphs appearing in unification--based grammar formalisms and algebraic specifications of abstract data types (ADTs) are both used for defining a collection of objects together with functions between these object sets. Starting from this observation we define an algebraic semantics for feature graphs by assigning an algebraic specification to each feature graph. This opens the rich world of semantical foundations for abstract data types to the area of feature graphs and thus to unification grammar formalisms. Using results from ADT the...