We present a general storage model that reflects features of object oriented (OO) languages with pure reference semantics. Based on this model, we develop an OO Separation Logic (OOSL) to specify and verify OO programs. Many inference rules in the Separation Logic still hold in OOSL. Additionally, OOSL has certain properties important to OO reasoning. We introduce HoareTriple for a small OO lan...

Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-oriented software. The possibility to generate skeleton code motivates development teams to construct a good design before coding. Developers subsequently add the remaining code; CASE tools then offer support for keeping mo...

Olive oil (OO) phenolic compounds (PC) are able to influence gut microbial populations and metabolic output. Our aim was to investigate whether these compounds and changes affect the mucosal immune system. In a randomized, controlled, double blind cross-over human trial, for three weeks, preceded by two-week washout periods, 10 hypercholesterolemic participants ingested 25 mL/day of three raw v...

The majority of industrial-strength object-oriented (OO) software is written using nominally-typed OO programming languages. Extant domain-theoretic models of OOP developed to analyze OO type systems miss, however, a crucial feature of these mainstream OO languages: nominality. This paper presents the construction of NOOP as the first domain-theoretic model of OOP that includes full class/type ...