REASONING TRADEOFFS IN IMPLICIT INVOCATION AND ASPECT ORIENTED LANGUAGES

DMCA

REASONING TRADEOFFS IN IMPLICIT INVOCATION AND ASPECT ORIENTED LANGUAGES (2015)

Cached

Download Links

[www.eecs.ucf.edu]

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Jose Sanchez

BibTeX

@MISC{Sanchez15reasoningtradeoffs,
    author = {Jose Sanchez},
    title = {REASONING TRADEOFFS IN IMPLICIT INVOCATION AND ASPECT ORIENTED LANGUAGES},
    year = {2015}
}

OpenURL

Abstract

Verification — Formal methods, programming by contract; F.3.1 [Log-