A semantics-based framework for the abstract interpretation of prolog
書誌事項
- 公開日
- 1987
- 公開者
- Ellis Horwood Limited
収録刊行物
-
- Abstract interpretation of declarative languages
-
Abstract interpretation of declarative languages 123-142, 1987
Ellis Horwood Limited
