Grammatical inference for defining extensions

Extensions to a language need be defined by a grammar, or by any conceivable method which is apt to discriminate valid from unwanted extensions and to provide efficient parsing and translation. Context-free grammars - a traditional choice - have a major drawback with respect to practical use. Namely...

Full description

Saved in:
Bibliographic Details
Published in:SIGPLAN notices 1971-12, Vol.6 (12), p.65-66
Main Author: Reghizzi, S. Crespi
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Extensions to a language need be defined by a grammar, or by any conceivable method which is apt to discriminate valid from unwanted extensions and to provide efficient parsing and translation. Context-free grammars - a traditional choice - have a major drawback with respect to practical use. Namely, the unsophisticated user of an extensible system would find it hard to formulate an appropriate BNF definition of the constructions he wants.
ISSN:0362-1340
1558-1160
DOI:10.1145/942582.807984