Work

Automatic dimension inference and checking for object-oriented programs

Year: 2009

Type: conference-paper

Source: ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1109/icse.2009.5070517

Authors: Sudheendra Hangal, Monica S. Lam

Institution: Stanford University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, Università degli Studi di Firenze

OpenAlex ID: W2171962864

FWCI: 0.896

Cites: 21

Cited by: 23

Related to: 10