Dean Jacobs

Available identifiers

zbMath Open jacobs.deanMaRDI QIDQ1106018

List of research outcomes

Publication	Date of Publication	Type
Static analysis of logic programs for independent and parallelism	1992-09-27	Paper
Compatibility problems in the development of algebraic module specifications	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4732088	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3355245	1989-01-01	Paper
Corrections to ``A synthesis of several sorting algorithms by J. Darlington	1988-01-01	Paper
General correctness: A unification of partial and total correctness	1985-01-01	Paper

Research outcomes over time

This page was built for person: Dean Jacobs