๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A General Framework for Automatic Termination Analysis of Logic Programs

โœ Scribed by Nachum Dershowitz; Naomi Lindenstrauss; Yehoshua Sagiv; Alexander Serebrenik

Publisher
Springer
Year
2001
Tongue
English
Weight
403 KB
Volume
12
Category
Article
ISSN
0938-1279

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A semantic basis for the termination ana
A semantic basis for the termination analysis of logic programs
โœ Michael Codish; Cohavit Taboch ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 287 KB

This paper presents a formal semantic basis for the termination analysis of logic programs. The semantics exhibits the termination properties of a logic program through its binary unfoldings ยฑ a possibly inยฎnite set of binary clauses. Termination of a program P and goal G is determined by the absenc

modulewriter: a program for automatic ge
modulewriter: a program for automatic generation of database interfaces
โœ Christina L Zheng; Fariba Fana; Poornaprajna V Udupi; Michael Gribskov ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 288 KB

MODULEWRITER is a PERL object relational mapping (ORM) tool that automatically generates database specific application programming interfaces (APIs) for SQL databases. The APIs consist of a package of modules providing access to each table row and column. Methods for retrieving, updating and saving

A flexible program for automatic analysi
A flexible program for automatic analysis of stability of slopes
โœ J.B. Martins; E. Maranha; F.A. Melo ๐Ÿ“‚ Article ๐Ÿ“… 1969 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 489 KB

The paper describes a program for automatic analysis of the stability of slopes of any kind, (land slopes, earth dams, embankments, quay walls, etc.) by the Swedish method. Two factors of safety are obtained, one according to the usual calculationratio of the resistance to the overturning moment, t