✦ LIBER ✦

On a Class of Invariants. [Abstract]

✍ Scribed by John C. Malet

Book ID: 124500874
Publisher: The Royal Society
Year: 1881-1882
Weight: 103 KB
Volume: 33
Category: Article
ISSN: 0365-0855
DOI: 10.2307/113910

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Class of Functional Invariants. [Abstr

A Class of Functional Invariants. [Abstract]

✍ A. R. Forsyth 📂 Article 📅 1887-1888 🏛 The Royal Society ⚖ 215 KB

On a Class of Invariants.

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

Full invariants on certain class of abst

Full invariants on certain class of abstract dual systems

✍ Fubin Wang, Cuixia Hao 📂 Article 📅 2012 🏛 Hindawi Publishing Corporation 🌐 English ⚖ 172 KB

On Class-Invariants

✍ Mathews, G. B. 📂 Article 📅 1889 🏛 Oxford University Press 🌐 English ⚖ 286 KB

On arithmetic class invariants

✍ A. Agboola; G. Pappas 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 184 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.