Výsledky vyhľadávania - "D.2.2 [Software Engineering] Program Verification"

Foundations of Object-Oriented Languages - 2nd Workshop report

Autori: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.cs.iastate.edu/pub/techreports/TR94-22/TR.ps.Z

Predmety: object-oriented programming, type checking, verification, modules, binary method, matching, subtyping, record update, state, semantics, covariance, contravariance, flow analysis, self, method schemas. 1994 CR Categories, D.1.5 [Programming Techniques] Object-oriented Programming, D.2.2 [Software Engineering] Tools and Techniques--- modules and interfaces, D.2.2 [Software Engineering] Program Verification

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.964

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.964