A Type System for Object Models

Authors:

Jonathan Edwards, Daniel Jackson and Emina Torlak.

Publication Venue:

Foundations of Software Engineering (FSE), Newport Beach, CA

When Published:

Nov 1 2004

Attachment	Size
p147-edwards.pdf	220.76 KB

by JonathanEdwards

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search