Jeff W. Sanders

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Consciousness by degree	2024-02-28	Paper
Denotational semantics for a probabilistic timed shared-variable language Unifying Theories of Programming	2015-12-11	Paper
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language The Journal of Logic and Algebraic Programming	2011-12-19	Paper
UTP and Sustainability Unifying Theories of Programming	2010-11-09	Paper
Abstraction of object graphs in program verification Lecture Notes in Computer Science	2010-07-26	Paper
Compositional Reasoning for Pointer Structures Lecture Notes in Computer Science	2009-04-02	Paper
Unifying Probability Unifying Theories of Programming	2007-09-14	Paper
The weakest specifunction Acta Informatica	2005-08-02	Paper
scientific article; zbMATH DE number 1864594 (Why is no real title available?)	2003-02-06	Paper
Refinement-oriented probability for CSP Formal Aspects of Computing	1997-03-31	Paper
Specification by interface separation Formal Aspects of Computing	1995-12-05	Paper
Laws of programming Communications of the ACM	1987-01-01	Paper
Prespecification in data refinement Information Processing Letters	1987-01-01	Paper
Corrigenda: laws of programming Communications of the ACM	1987-01-01	Paper
scientific article; zbMATH DE number 3943003 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Jeff W. Sanders