Concepedia

Helmuth Partsch

HP

2

Publications

31

Citations

2

H-Index

1980

Active since

Affiliations

Microsoft Research (United Kingdom)(Current)

Helmuth Partsch is an author at Microsoft Research (United Kingdom) specializing in engineering, semantics, and programming languages.

Top concepts

Publications per year

1980–2003

2

Publications

2

Tool Support for the Interactive Derivation of Formally Correct Functional Programs

Walter Guttmann, Helmuth Partsch, Wolfram Schulte et al. · OPen Access Repositorium der Universität Ulm (OPARU) (Ulm University) · 2003 · 16 citations · Full text

Semantic Relations in Programming Languages.

Manfred Broy, Helmuth Partsch, Peter Pepper et al. · IFIP Congress · 1980 · 15 citations

, , +3

Rows per page

1–2 of 2