Behavioral Interface Specification Languages

Thumbnail
Metadata only
Author
Hatcliff, John
Leavens, Gary T.
Leino, K. Rustan M.
Müller, Peter
Parkinson, Matthew
Show all
Date
2012-06
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
Computing surveys
Volume
44(3)
Pages / Article No.
16
Publisher
Association for Computing Machinery
Subject
Abstraction; Assertion; Behavioral subtyping; Frame conditions; Interface specification language; Invariant; JML; Postcondition; Precondition; Separation logic; Spec#; SPARK
Organisational unit
03653 - Müller, Peter / Müller, Peter  
Notes
.
More
Show all metadata
Citations
Cited 23 times in Web of Science
ETH Bibliography
yes
Altmetrics