Model Variables: Cleanly Supporting Abstraction in Design By Contract

Authors: Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/02/60/00000260-00/tr03-10.pdf.

Subject Terms: Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Assertions

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.197.6325
http://archives.cs.iastate.edu/documents/disk0/00/00/02/60/00000260-00/tr03-10.pdf

Model Variables: Cleanly Supporting

Authors: Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards, Stephen Edwards D

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/03/14/00000314-00/tr03-10a.pdf.

Subject Terms: Programs] Specifying and Verifying and Reasoning about Programs — Assertions

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.1240
http://archives.cs.iastate.edu/documents/disk0/00/00/03/14/00000314-00/tr03-10a.pdf

Protective interface specifications

Authors: Gary T. Leavens, Jeannette M. Wing

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/01/32/00000132-01/TR96-04a.pdf.

Subject Terms: Programs] Specifying and Verifying and Reasoning about Programs | assertions, logics

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.9492
http://archives.cs.iastate.edu/documents/disk0/00/00/01/32/00000132-01/TR96-04a.pdf