Gilberto File

MaRDI QIDQ584933zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Comparison of abstract interpretations Automata, Languages and Programming	2019-12-04	Paper
Sharing is optimal The Journal of Logic Programming	2000-08-01	Paper
The powerset operator on abstract interpretations Theoretical Computer Science	2000-01-12	Paper
The quotient of an abstract interpretation Theoretical Computer Science	1998-08-13	Paper
Optimal groundness analysis using propositional logic The Journal of Logic Programming	1997-11-10	Paper
On the design of a correct freeness analysis for logic programs The Journal of Logic Programming	1997-04-27	Paper
scientific article; zbMATH DE number 516993 (Why is no real title available?)	1994-03-17	Paper
Graph properties for normal logic programs Theoretical Computer Science	1993-05-16	Paper
Passes, sweeps, and visits in attribute grammars Journal of the ACM	1989-01-01	Paper
The relation of two patterns with comparable languages patterns RAIRO - Theoretical Informatics and Applications	1989-01-01	Paper
scientific article; zbMATH DE number 4051031 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4108188 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4041308 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4009855 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4014052 (Why is no real title available?)	1986-01-01	Paper
Machines for attribute grammars Information and Control	1986-01-01	Paper
scientific article; zbMATH DE number 3976378 (Why is no real title available?)	1985-01-01	Paper
Interpretation and reduction of attribute grammars Acta Informatica	1983-01-01	Paper
Simple multi-visit attribute grammars Journal of Computer and System Sciences	1982-01-01	Paper
scientific article; zbMATH DE number 3729467 (Why is no real title available?)	1981-01-01	Paper
The formal power of one-visit attribute grammars Acta Informatica	1981-01-01	Paper
Passes and paths of attribute grammars Information and Control	1981-01-01	Paper
scientific article; zbMATH DE number 3696529 (Why is no real title available?)	1980-01-01	Paper

Research outcomes over time

This page was built for person: Gilberto File