Verifying Multi-object Invariants with Relationships-Reference-Cited by-同舟云学术

Verifying Multi-object Invariants with Relationships

Published:2011 Issue: Volume: Page:358-382
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Balzer Stephanie,Gross Thomas R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22655-7_17

Reference42 articles.

1. Hoare, C.: Proof of correctness of data representations. Acta Inf. 1(4), 271–281 (1972)

2. Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)

3. Lecture Notes in Computer Science;M. Barnett,2005

4. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06-rev29, Iowa State University (2006)

5. Lecture Notes in Computer Science;P. Müller,2002

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Concept of Class Invariant in Object-oriented Programming;Formal Aspects of Computing;2024-03-20

2. Containerless Plurals: Separating Number from Type in Object-Oriented Programming;ACM Transactions on Programming Languages and Systems;2022-09-21

3. Monitoring for control in role-oriented self-adaptive systems;Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2020-06-29

4. Relational reference attribute grammars: Improving continuous model validation;Journal of Computer Languages;2020-04

5. Continuous model validation using reference attribute grammars;Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering;2018-10-24