Browse Prior Art Database

Language Processing Language Parser Goals Definition

IP.com Disclosure Number: IPCOM000109555D
Original Publication Date: 1992-Sep-01
Included in the Prior Art Database: 2005-Mar-24
Document File: 1 page(s) / 57K

Publishing Venue

IBM

Related People

Hidalgo, DS: AUTHOR

Abstract

Disclosed is a feature of the LANGUAGE PROCESSING LANGUAGE (LPL) that uses a goal naming facility to allow the formal language designer to symbolically define and reference multiple syntax goals within that language's mechanically generated syntax directed graph, and a method for the mechanical verification of the validity of the declared goals.

This text was extracted from an ASCII text file.
This is the abbreviated version, containing approximately 72% of the total text.

Language Processing Language Parser Goals Definition

       Disclosed is a feature of the LANGUAGE PROCESSING
LANGUAGE (LPL) that uses a goal naming facility to allow the formal
language designer to symbolically define and reference multiple
syntax goals within that language's mechanically generated syntax
directed graph, and a method for the mechanical verification of the
validity of the declared goals.

      The design of the input data interpretation portion of a
language translator may be done using a design language, such as LPL,
that allows syntax and translation scheme to be conveniently combined
in an abstracted representation.  Such an abstract representation,
however, is based on the idea of matching input symbols against a
mechanically generated syntax graph in order to check the validity of
the input against a goal in the graph while performing translation
tasks as the syntax validation proceeds.  Because of the syntactic
nature of the input language or because of the chosen design, there
might be the need to define multiple goals that can be interfaced
with the translator's driver code.  The names chosen for these goals
would be defined as names of subgoal nodes in the syntax directed
graph.  These names would then be accessible to the driver code to
selectively invoke the LPL runtime parser function to pursue a
specific goal.

      This invention provides a syntactic facility to allow the input
language designer maximum flexibility in syntax...