Proving termination properties of PROLOG programs

An edition of Proving termination properties of PROLOG programs (1988)

Proving termination properties of PROLOG programs

a semantic approach

By Marianne Baudinet

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1988

Publisher

Dept. of Computer Science, Stanford University

Language

eng

Pages

13

Description:

subjects: Artificial intelligence, Computer programs, Correctness, Programming languages (Electronic computers), Prolog (Computer program language), Semantics, Termination