Login
中文
Gary T Leavens
HIndex: 28
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Aspect-oriented programming
Static analysis
Java
Verification
Polymorphism
Invariant
Programming language
Modularity
Theory of computation
Specification
Design by contract
Object-oriented programming
Postcondition
Semantics
Multiple dispatch
Subtyping
Logic
Verification and validation
Reliability
Formal specification
Message passing
Formal methods
Java Modeling Language
Abstract data type
Specification language
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Aspect-oriented programming
Static analysis
Java
Verification
Polymorphism
Invariant
Programming language
Modularity
Theory of computation
Specification
Design by contract
Object-oriented programming
Postcondition
Semantics
Multiple dispatch
Subtyping
Logic
Verification and validation
Reliability
Formal specification
Message passing
Formal methods
Java Modeling Language
Abstract data type
Specification language
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Gary T Leavens
Eth Zurich
242
×
Share to your followers
Submit