Evaluation of the Domain Prop 3.4. Concrete Semantics

Abstract

interpretation of Prolog has attracted many researchers in recent years. This effort is motivated by the need of optimization in Prolog compilers to be competitive with procedural languages and the declarative nature of the language which makes it more amenable to static analysis. Considerable progress has been realized in this area in terms of the… (More)

3 Figures and Tables

Topics

  • Presentations referencing similar topics