Suchergebnisse - Padawitz, Peter

Deduction and declarative programming

von Padawitz, Peter

ECDS, a rewrite rule based interpreter for a programming language with abstraction and communicationt

von Padawitz, Peter

Horn clause specifications: reduction and narrowing

von Padawitz, Peter

Correctness, completeness, and consistency of equational data type specifications

von Padawitz, Peter

EXPANDER: manual and implementation

von Padawitz, Peter

Methoden der Programmierung: Vorlesungsskript

von Padawitz, Peter

Program verification by inductive expansion: tree balancing and graph traversal

von Padawitz, Peter

On inductive proofs of network properties: the alternating bit protocol

von Padawitz, Peter

Towards a proof theory of parameterized specification

von Padawitz, Peter

Parameter preserving data type specifications

von Padawitz, Peter

Proving the correctness of implementations by exclusive use of term algebras

von Padawitz, Peter

Deduction and declarative programming

von Padawitz, Peter 1953-

Online lesen

A functional compiler specification and its direct implementation into SML

von Padawitz, Peter

Inductive expansion

von Padawitz, Peter

Computing in Horn clause theories

von Padawitz, Peter

Program construction and Horn logic: 2 examples

von Padawitz, Peter

Inductive proofs of constructor-based Horn clauses

von Padawitz, Peter

Horn Clause specifications: a uniform framework for abstract data types and logic programming

von Padawitz, Peter

Algebraische Implementierung abstrakter Datentypen

von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Padawitz, Peter

Some remarks concerning correct specification and implementation of abstract data types

von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Padawitz, Peter