Virginity: A contribution to the specification of object-oriented software

DOI10.1016/S0020-0190(99)00043-5zbMath1002.68025OpenAlexW2003868291MaRDI QIDQ1608296

K. Rustan M. Leino, Raymie Stata

Publication date: 4 August 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(99)00043-5

zbMATH Keywords

object-oriented programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

Alias burying: Unique variables without destructive reads, A program logic for resources, Virginity