Positive/Negative-Conditional Equations, A Constructor-Based Framework for Specification and Inductive Theorem Proving

Sprache: Englisch

Verlag: Verlag Dr. Kovac, Hamburg, 1997

386064551X / 9783860645512

  • Erstausgabe
  • Softcover
  • Neu
Alle Details anzeigen

Anbieter: Verlag Dr. Kovac GmbH, Hamburg, DeutschlandVerlag Dr. Kovac GmbH

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 24. Januar 2011

Softcover

Zustand: Neu

EUR 59,95

EUR 17,60 Versand 
Versand von Deutschland nach USA

Anzahl: 5 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Forschungsergebnisse zur Informatik, Band 31 260 pages. Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer Algorithmen unverzichtbar sind, ist davon auszugehen, dass mehr oder weniger automatisiertes Beweisen induktiver Theoreme in naher Zukunft wirtschaftliche Bedeutung erlangen wird. Positiv/negativ bedingte Gleichungen sind universell quantifizierte Implikationen erster Stufe mit einer einzelnen Gleichung im Sukzedens und einer Konjunktion von positiven und negativen (d.h. negierten) Gleichungen im Antezedens. Sie eignen sich zur funktionalen Spezifikation erster Stufe und lassen sich in direkter Weise als Programme auffassen. Mit Hilfe eines konstruktorbasierten Ansatzes wird algebraischen Spezifikationen mit positiv/negativ bedingten Gleichungen eine ihnen gemäße Semantik gegeben. Des weiteren wird die Reduktion mit positiv/negativ bedingten Regeln in solcher Weise definiert, dass die grundlegenden Ergebnisse für positiv bedingte Termersetzungssysteme ihre Gültigkeit behalten. Es ist von besonderer Wichtigkeit, dass die vorgestellten Begriffe induktiver Gültigkeit gegenüber konsistenter Spezifikationserweiterung ein monotones Verhalten aufweisen. Auf dieser Grundlage wird dann ein Inferenzsystem zum Nachweis verschiedener induktiver Gültigkeiten von Gleichungsklauseln entwickelt. Der konstruktorbasierte Ansatz erweist sich für einen derartigen Induktionsbeweis als gut geeignet, und auch das Auftreten partiell definierter und nichtterminierender Funktionen bereitet keine zusätzlichen Schwierigkeiten.…

Bestandsnummer des Verkäufers x551

Titel
Positive/Negative-Conditional Equations, A Constructor-Based Framework for Specification and Inductive Theorem Proving
Autor
Claus-Peter Wirth
Verlag
Verlag Dr. Kovac, Hamburg
Erscheinungsjahr
1997
Zustand
neu
Einband
Softcover
Sprache
Englisch
ISBN-10
386064551X
ISBN-13
9783860645512
Auflage
1. Auflage.

Verlag Dr. Kovac GmbH

Hamburg, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 24. Januar 2011

Versandkosten von Deutschland nach USA

Artikel16 bis 35 Werktage7 bis 14 Werktage
Erster ArtikelEUR 17,60EUR 34,35
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Shopbeschreibung

Der Wissenschaftsverlag Dr. Kovač wurde 1982 gegründet und ist ein Fachverlag für wissenschaftliche Literatur. Seit mehr als 40 Jahren verlegen Wissenschaftler/innen aus unterschiedlichsten Fachbereichen bei uns. Das Gros der mehr als 12.400 Forscher/innen, die wir verlegen, stammt von Universitäten im deutschsprachigen Raum.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Verlag Dr. Kovac GmbH

Leverkusenstr. 13
Hamburg, Deutschland 22761