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

Equivalences among logics of programs

โœ Scribed by Albert R. Meyer; Jerzy Tiuryn

Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
742 KB
Volume
29
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Equivalent logic programs
Equivalent logic programs
โœ Chan Kwok Hung ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 823 KB
On the equivalence of semantics for norm
On the equivalence of semantics for normal logic programs
โœ Jia-Huai You; Li Yan Yuan ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 699 KB

Despite the frequent comment that there is no general agreement on the semantics of logic programs, this paper shows that a number of independently proposed extensions to the stable model semantics coincide: the regular model semantics proposed by You and Yuan, the partial stable model semantics by

Program logic and equivalence in the pre
Program logic and equivalence in the presence of garbage collection
โœ Cristiano Calcagno; Peter O'Hearn; Richard Bornat ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 220 KB

It is generally thought that reasoning about programs in memory safe, garbage collected languages is much easier than in languages where the programmer has more explicit control over memory. Paradoxically, existing program logics are based on a low-level view of storage that is sensitive to the pres