Tool Support for the Interactive Derivation of Formally Correct Functional Programs

zu Verbundenen Objekten

Standort: Deutsche Nationalbibliothek Frankfurt am Main

Umfang: Online-Ressource

Sprache: Englisch

Erschienen in: In: Journal of Universal Computer Science ; 9 (2003), 2. - S. 173-188. - ISSN 0948-695x. - eISSN 0948-6968

Schlagwort: Funktionale Programmierung

Ereignis: Veröffentlichung

(wo): Ulm

(wer): Universität Ulm

(wann): 2003

Urheber: Guttmann, Walter
Partsch, Helmuth
Schulte, Wolfram
Vullinghs, Ton

DOI: 10.18725/OPARU-35283

URN: urn:nbn:de:bsz:289-oparu-35345-1

Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Letzte Aktualisierung: 15.08.2025, 07:38 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Original beim Datenpartner anzeigen

Beteiligte

Guttmann, Walter
Partsch, Helmuth
Schulte, Wolfram
Vullinghs, Ton
Universität Ulm

Entstanden

2003

Ähnliche Objekte (12)

System Support for the Interactive Transformation of Functional Programs

Abschnitt

Correct

Interactive decision support in hepatic surgery

Live data structures in logic programs : derivation by means of abstract interpretation

Hochschulschrift

The transformational derivation of parallel programs using data distribution algebras and skeletons

Conceptualisation of design notions relevant for interactive programs : draft

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap

Kapitel

Dérivation lexicale et dérivation syntaxique

Abschnitt

Derivation

Akten

Derivation

Artikel

Biologically correct

System Support for the Interactive Transformation of Functional Programs

Abschnitt

Correct

Interactive decision support in hepatic surgery

Live data structures in logic programs : derivation by means of abstract interpretation

Hochschulschrift

The transformational derivation of parallel programs using data distribution algebras and skeletons

Conceptualisation of design notions relevant for interactive programs : draft

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap

Kapitel

Dérivation lexicale et dérivation syntaxique

Abschnitt

Derivation

Akten

Derivation

Artikel

Biologically correct

System Support for the Interactive Transformation of Functional Programs

Abschnitt

Correct

Interactive decision support in hepatic surgery

Live data structures in logic programs : derivation by means of abstract interpretation

Hochschulschrift

The transformational derivation of parallel programs using data distribution algebras and skeletons

Conceptualisation of design notions relevant for interactive programs : draft

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap

Kapitel

Dérivation lexicale et dérivation syntaxique

Abschnitt

Derivation

Akten

Derivation

Artikel

Biologically correct

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Tool Support for the Interactive Derivation of Formally Correct Functional Programs

Angaben zum Objekt

Verweise und Beziehungen

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Beteiligte

Entstanden

Ähnliche Objekte (12)

System Support for the Interactive Transformation of Functional Programs

Correct

Interactive decision support in hepatic surgery

Live data structures in logic programs : derivation by means of abstract interpretation

The transformational derivation of parallel programs using data distribution algebras and skeletons

Conceptualisation of design notions relevant for interactive programs : draft

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap

Dérivation lexicale et dérivation syntaxique

Derivation

Derivation

Derivation

Biologically correct

System Support for the Interactive Transformation of Functional Programs

Correct

Interactive decision support in hepatic surgery

Live data structures in logic programs : derivation by means of abstract interpretation

The transformational derivation of parallel programs using data distribution algebras and skeletons

Conceptualisation of design notions relevant for interactive programs : draft

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap

Dérivation lexicale et dérivation syntaxique

Derivation

Derivation

Derivation

Biologically correct

System Support for the Interactive Transformation of Functional Programs

Correct

Interactive decision support in hepatic surgery

Live data structures in logic programs : derivation by means of abstract interpretation

The transformational derivation of parallel programs using data distribution algebras and skeletons

Conceptualisation of design notions relevant for interactive programs : draft

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap

Dérivation lexicale et dérivation syntaxique

Derivation

Derivation

Derivation

Biologically correct

Verbundene Objekte

Passwort zurücksetzen