Paul Strooper

Available identifiers

zbMath Open strooper.paul-aMaRDI QIDQ1121799

List of research outcomes

Publication	Date of Publication	Type
Don't care non-determinism in logic program refinement	2013-07-24	Paper
Refinement of Higher-Order Logic Programs	2011-03-04	Paper
Calculating modules in contextual logic program refinement	2008-01-21	Paper
Program Development in Computational Logic	2005-12-23	Paper
A refinement calculus for logic programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4421869	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4412494	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4790664	2003-02-04	Paper
A framework for table driven testing of Java classes	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4536449	2002-11-25	Paper
Refinement and state machine abstraction	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4250656	1999-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4370272	1998-06-01	Paper
Describing symmetrical structures in logic.	1997-05-12	Paper
CLP(ℛ) as a general finite element model definition language	1996-01-10	Paper
Discovering inequality conditions in the analytic solution of optimization problems	1989-01-01	Paper

Research outcomes over time

This page was built for person: Paul Strooper