Concepedia

Kenneth W. Dritz

KW

2

Publications

21

Citations

2

H-Index

1974

Active since

Kenneth W. Dritz is an author specializing in program analysis, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringSystem SoftwareSoftware Testing

Publications per year

1974–1987

2

Publications

2

An Automated Programming System to Facilitate the Development of Quality Mathematical Software.

James M. Boyle, Kenneth W. Dritz · IFIP Congress · 1974 · 11 citations

Automated Software Engineering, Engineering, Automated Reasoning +13

Deriving sequential and parallel programs from pure LISP specifications by program transformation

J. M. Boyle, Kenneth W. Dritz, M. N. Muralidharan et al. · 1987 · 10 citations

Engineering, Pure Lisp, Compiler Technology +24

Rows per page

1–2 of 2