Paper Info
Title
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning
Abstract
2006 CR Categories: D. 2.2 [Software Engineering] Design Tools and Techniques, Object-oriented design methods; D. 2.3 [Software Engineering] Coding Tools and Techniques, Object-oriented programming; D. 2.4 [Software Engineering] Software/Program Verification, Class invariants, correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML; D. 2.7 [Software Engineering] Distribution, Maintenance, and Enhancement, Documentation; D. 3.1 [Programming Languages] Formal Definitions and Theory, Semantics; D. 3.2 [Programming Languages] Language Classifications, Object-oriented languages; D. 3.3 [Programming Languages] Language Constructs and Features, classes and objects, inheritance; F. 3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs, Assertions, invariants, logics of programs, pre-and post-conditions, specification techniques;
Year
DOI
Venue
2015
10.1145/2766446
ACM Transactions on Programming Languages and Systems (TOPLAS)
Keywords
Field
DocType
distribution,programming by contract,modularity,refinement,specification,reliability,verification,invariants,formal methods,eiffel language,eiffel
Abstraction,Programming language,Iterative and incremental development,Computer science,Dynamic dispatch,Modular reasoning,Theoretical computer science,Subtyping,Eiffel,Modularity,Case analysis
Journal
Volume
Issue
ISSN
37
4
0164-0925
Citations 
PageRank 
References 
30
0.87
45
Authors
2
Name
Order
Citations
PageRank
Gary T. Leavens12593211.29
David Naumann2110184.12