Modes and Types in Logic Programming

0044 English OPEN
Smaus, Jan-Georg;
  • Subject: QA76

This thesis deals with two themes: (1) construction of abstract domains for mode analysis of typed logic programs; (2) verification of logic programs using non-standard selection rules. (1) Mode information is important mainly for compiler optimisations. The precision o... View more
Share - Bookmark