Concepedia

Publication | Open Access

An instance of abstract interpretation integrating type and mode inferencing

Full Paper Access

73

Citations

0

References

1988

Year

Maurice Bruynooghe, Gerda Janssens
Lirias (KU Leuven)

Abstract

status: Published