Gilberto File

Available identifiers

Publication	Date of Publication	Type
Comparison of abstract interpretations	2019-12-04	Paper
Sharing is optimal	2000-08-01	Paper
The powerset operator on abstract interpretations	2000-01-12	Paper
The quotient of an abstract interpretation	1998-08-13	Paper
Optimal groundness analysis using propositional logic	1997-11-10	Paper
On the design of a correct freeness analysis for logic programs	1997-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4282511	1994-03-17	Paper
Graph properties for normal logic programs	1993-05-16	Paper
Passes, sweeps, and visits in attribute grammars	1989-01-01	Paper
The relation of two patterns with comparable languages patterns	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787511	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3832076	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3779770	1987-01-01	Paper
Machines for attribute grammars	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3759966	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3026365	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3741087	1985-01-01	Paper
Interpretation and reduction of attribute grammars	1983-01-01	Paper
Simple multi-visit attribute grammars	1982-01-01	Paper
The formal power of one-visit attribute grammars	1981-01-01	Paper
Passes and paths of attribute grammars	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3917507	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3890134	1980-01-01	Paper

This page was built for person: Gilberto File