Multiple specialization using minimal-function graph semantics

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Abstract interpretation of declarative languages

Information and Software Technology · 1988 · 321 citations · Full text

Language Studies, Computer Science, Linguistics +14

A practical framework for theabstract interpretation of logic programs

Maurice Bruynooghe · The Journal of Logic Programming · 1991 · 250 citations · Full text

Computing, Computer Science, Formal Methods +13

Automatic mode inference for logic programs

Saumya Debray, David S. Warren · The Journal of Logic Programming · 1988 · 136 citations

Computing, Computer Engineering, Computer Science +13

AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis.

Jung-Herng Chang, Alvin M. Despain, Doug DeGroot · COMPCON · 1985 · 116 citations

Computing, Computer Engineering, Computer Science +14