Searching for authors named "Wolfgang Ahrendt" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
A Basis for Model Computation in Free Data Types
- …A Basis for Model Computation in Free Data Types Wolfgang Ahrendt Institut fur Logik, Komplexit…
- Cited by 3 (0 self) – Add To MetaCart
-
Deductive Search for Errors in Free Data Type Specifications using Model Generation
- …Deductive Search for Errors in Free Data Type Specications using Model Generation Wolfgang Ahrendt…
- Cited by 8 (3 self) – Add To MetaCart
-
Hilbert’s ɛ-Terms in Automated Theorem Proving
- …Hilbert’s ɛ-Terms in Automated Theorem Proving Martin Giese and Wolfgang Ahrendt Institut für…
- Add To MetaCart
-
Hilbert's epsilon-Terms in Automated Theorem Proving
- …Hilbert's #-Terms in Automated Theorem Proving Martin Giese and Wolfgang Ahrendt Institut fur…
- Add To MetaCart
-
Reasoning about abstract state machines: The WAM case study
- …. Programmiermethodik, Universitat Ulm, 89069 Ulm, Germany schellhorn@(email omitted);) Wolfgang Ahrendt (Institut…
- Cited by 26 (7 self) – Add To MetaCart
-
The WAM Case Study: Verifying Compiler Correctness For Prolog With KIV
- …GERHARD SCHELLHORN AND WOLFGANG AHRENDT THE WAM CASE STUDY: VERIFYING COMPILER CORRECTNESS…
- Cited by 12 (7 self) – Add To MetaCart
-
A Basis for Model Computation in Free Data Types
- …A Basis for Model Computation in Free Data Types Wolfgang Ahrendt Institut fur Logik, Komplexit…
- Add To MetaCart
-
Automatic validation of transformation rules for Java verification against a rewriting semantics
- … ⋆ Wolfgang Ahrendt 1 , Andreas Roth 2 , and Ralf Sasse 3 1 Chalmers University of Technology, Göteborg…
- Cited by 3 (1 self) – Add To MetaCart
-
Verification of a Prolog Compiler - First Steps with KIV
- …. Programmiermethodik Universitat Ulm, D-89069 Ulm, Germany email: schellhorn@(email omitted); Wolfgang Ahrendt…
- Cited by 1 (0 self) – Add To MetaCart
-
OCL Specifications for the Java Card API
- … Mostowski Examiner: Wolfgang Ahrendt Department of Computing Science School of Computer Science…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
