Back to Results
First PageMeta Content
Algebra / Morphisms / Algebraic geometry / Predicate transformer semantics / Program logic / Pushout / Graph rewriting / Epimorphism / Ample line bundle / Abstract algebra / Mathematics / Category theory


Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2
Add to Reading List

Document Date: 2006-06-21 08:43:28

Open Document

File Size: 280,18 KB

Share Result on Facebook

City

Enschede / /

Company

Correct Graph Transformation Systems / Trustworthy Software Systems / /

Country

Germany / United States / Netherlands / /

/

Facility

University of Oldenburg / University of Twente / /

Holiday

Assumption / /

IndustryTerm

session management / /

Organization

German Research Foundation / Graduate School / University of Twente / University of Oldenburg / /

ProgrammingLanguage

R / C / K / L / /

SocialTag