ISSN:
1436-5057
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Description / Table of Contents:
Zusammenfassung Eine interpretierte zweisortige Logik wird so definiert, daß sie die Repräsentation einer Unterklasse von Flußdiagrammschemata erlaubt. Ein Entscheidungsverfahren wird entwickelt für die Äquivalenz einfacher Darstellungsformeln innerhalb der Logik und infolgedessen wird ein Entscheidungsverfahren für Flußdiagrammschemata innerhalb der Unterklasse demonstriert. Anwendungen der in der Arbeit entwickelten Techniken haben weitere Entscheidungsverfahren zur Folge. Ein Entscheidungsverfahren für die Äquivalenz von Programmen in einer einfachen Programmiersprache wird auch angegeben.
Notes:
Abstract An interpreted two-sorted logic is defined to allow the representation of a subclass of flowchart schemata. A decision procedure for the equivalence of simple representing formulae within the logic is developed and as a consequence a decision procedure for flowchart schemata within the subclass is demonstrated. Applications of the techniques developed within the paper result in further decision procedures for the equivalence of flowchart schemata in other subclasses. In addition, a decision procedure for the equivalence of programs in a simple programming language is given.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF02246433
Permalink