Travelled to:1 × France
1 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:∅ H.Ehrig H.Kreowski
Talks about:type (3) data (3) implement (2) abstract (2) specif (2) semant (2) constraint (1) paramodul (1) strategi (1) stepwis (1)
Person: Peter Padawitz
DBLP: Padawitz:Peter
Contributed to:
2000
1987
1980
19781978
19851989Wrote 7 papers:
- UML-2000-Padawitz #constraints #diagrams #how #proving #state machine #theorem proving #uml
- Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving (PP), pp. 162–177.
- RTA-1987-Padawitz #reduction
- Strategy-Controlled Reduction and Narrowing (PP), pp. 242–255.
- ICALP-1980-EhrigKP #algebra #concept #correctness #data type #implementation #semantics #syntax
- Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness (HE, HJK, PP), pp. 142–156.
- GG-1978-Padawitz #graph grammar #semantics
- Graph Grammars and Operational Semantics (PP), pp. 350–366.
- ICALP-1978-EhrigKP #data type #implementation #specification
- Stepwise Specification and Implementation of Abstract Data Types (HE, HJK, PP), pp. 205–226.
- CAAP-1985-Padawitz #data type #parametricity #specification
- Parameter Preserving Data Type Specifications (PP), pp. 323–341.
- CAAP-1989-Padawitz #induction #proving
- Inductive Proofs by Resolution and Paramodulation (PP), pp. 352–368.