IEEE - Institute of Electrical and Electronics Engineers, Inc. - Design via executable specification

Author(s): Cheng, M.H.M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Victoria, BC, Canada
Conference Date: 9 May 1991
ISBN (Paper): 0-87942-638-1
DOI: 10.1109/PACRIM.1991.160758
Regular:

A description is presented of two approaches to the design of a simple string matching machine: a direct approach and a transformational approach. In the latter approach, Horn clause logic is... View More

Advertisement