Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Boccalatte:1980:ADS,
author = "A. Boccalatte and M. {Di Manzo}",
title = "An approach to the detection of semantic errors",
journal = j-COMP-J,
volume = "23",
number = "4",
pages = "317--323",
month = nov,
year = "1980",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/23.4.317",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
MRclass = "68B10 (68F20 68F25)",
MRnumber = "81k:68010",
bibdate = "Tue Mar 25 13:51:56 MST 1997",
bibsource = "Compiler/AG.bib;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_04/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_04/tiff/317.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_04/tiff/318.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_04/tiff/319.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_04/tiff/320.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_04/tiff/321.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_04/tiff/322.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_04/tiff/323.tif",
acknowledgement = ack-nhfb,
classcodes = "C4210 (Formal logic)",
corpsource = "Istituto di Elettrotecnica, Univ. di Genova, Genova,
Italy",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "algorithm; applic.MC; attribute grammars; detection;
grammars; immediate identification; LL(1) grammars;
semantic errors; syntactic; top-down",
treatment = "T Theoretical or Mathematical",
}