Negative Variables and the Essence of Object-Oriented Programming

Metadata only

Author

Date

2014

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Book title

Specification, Algebra, and Software

Journal / series

Lecture Notes in Computer Science

Volume

8373

Pages / Article No.

171 - 187

Publisher

Springer

Subject

Program logic; Operational semantics; Object-oriented language

Organisational unit

03594 - Meyer, Bertrand (emeritus)

More

ETH Bibliography

yes

Altmetrics

Research Collection