✦ LIBER ✦

A Class of Functional Invariants. [Abstract]

✍ Scribed by A. R. Forsyth

Book ID: 124501269
Publisher: The Royal Society
Year: 1887-1888
Weight: 215 KB
Volume: 43
Category: Article
ISSN: 0365-0855
DOI: 10.2307/114574

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Class of Functional Invariants.

✍ Forsyth, A. R. 📂 Article 📅 1888 🏛 The Royal Society ⚖ 162 KB

On a Class of Invariants. [Abstract]

✍ John C. Malet 📂 Article 📅 1881-1882 🏛 The Royal Society ⚖ 103 KB

On a Class of Invariant Functionals

✍ Fonseca, I.; Parry, G. 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 378 KB

On a Class of Invariant Functionals

✍ Irene Fonseca and Gareth Parry 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 268 KB

Class invariants as abstract interpretat

Class invariants as abstract interpretation of trace semantics

✍ Francesco Logozzo 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 531 KB

We present a generic framework for the automatic and modular inference of sound class invariants for class-based object-oriented languages. We define a trace-based semantics for classes which considers all possible orderings, with all possible arguments, of invocations of all the methods of a class.

On a Class of Invariants.

✍ Malet, J. C. 📂 Article 📅 1882 🏛 The Royal Society ⚖ 57 KB