Work

Model variables: cleanly supporting abstraction in design by contract

Year: 2005

Type: article

Source: Software Practice and Experience

DOI: 10.1002/spe.649

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

Institutions: The University of Texas at El Paso, Iowa State University, Clemson University, Virginia Tech

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2140001025

FWCI: 12.66

Cites: 49

Cited by: 121

Related to: 10