The following pages link to Helmut Partsch (Q1233309):
Displayed 25 items.
- Item:Q1233309 (redirect page) (← links)
- Structuring transformational developments: A case study based on Earley's recognizer (Q792748) (← links)
- A fast pattern matching algorithm derived by transformational and assertional reasoning (Q911750) (← links)
- An exercise in the transformational derivation of an efficient program by joint development of control and data structure (Q1050110) (← links)
- On hierarchies of abstract data types (Q1050767) (← links)
- Transformational program development in a particular problem domain (Q1081295) (← links)
- Konstruktion korrekter Programme durch Transformation (Q1093360) (← links)
- From informal requirements to a running program: A case study in algebraic specification and transformational programming (Q1123587) (← links)
- Programming in a wide spectrum language: A collection of examples (Q1157137) (← links)
- Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen (Q1166272) (← links)
- A family of rules for recursion removal (Q1233310) (← links)
- (Q3339254) (← links)
- (Q3666258) (← links)
- (Q3666259) (← links)
- (Q3736891) (← links)
- Formal program construction by transformations-computer-aided, intuition-guided programming (Q3815517) (← links)
- (Q3886833) (← links)
- (Q3940821) (← links)
- (Q3996676) (← links)
- (Q4184268) (← links)
- (Q4184269) (← links)
- (Q4184294) (← links)
- (Q4190110) (← links)
- (Q4191561) (← links)
- (Q4743723) (← links)