Suchergebnisse - "Software/Program Verification—Programming by con- tract General Terms Languages"

Space-Efficient Manifest Contracts

Autoren: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf.

Schlagwörter: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory, D.2.4 [Software Engi- neering, Software/Program Verification—Programming by con- tract General Terms Languages, Theory

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.8573; http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.8573
http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf