Back to Results
First PageMeta Content
Data types / Object-oriented programming / Model theory / Polymorphism / Type system / Type safety / Structure / Function overloading / C++ classes / Software engineering / Type theory / Computing


A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit
Add to Reading List

Document Date: 2014-08-13 19:26:58

Open Document

File Size: 215,87 KB

Share Result on Facebook

City

Cambridge / Vienna / Boston / Boulder / /

Company

Software Engineering/European Software Engineering Conference / Rational Software Corporation / Adaptive Ltd. / /

Country

Germany / /

Currency

pence / /

/

Facility

Prentice Hall / A library / Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge / Intelligence Laboratory / University of Queensland / /

IndustryTerm

partial function applications / cross product / relational product / /

Organization

Institute of Technology Cambridge / Group / Computer Science and Artificial Intelligence Laboratory / Artificial Intelligence Laboratory / University of Queensland / CP LP / Massachusetts Institute of Technology / School of Information Technology / /

Person

Moshe Y. Vardi / Jos Warmer / Addison Wesley / Manu Sridharan / Nir Piterman / John Rushby / Anneke Kleppe / Jonathan Edwards / Roy Armoni / Ilya Shlyakhter / Lawrence C. Paulson / Limor Fix / Emina Torlak / Andreas Tiemeyer / Andy Schürr / Leslie Lamport / Orna Grumberg / Alon Flaisher / J. Michael Spivey / Daniel Jackson / Vincent Yeung / /

Position

Prime Minister / President / head / dean / /

ProgrammingLanguage

Object Constraint Language / /

ProvinceOrState

Queensland / Massachusetts / Colorado / /

PublishedMedium

IEEE Transactions on Software Engineering / /

Technology

object-oriented programming / Information Technology / dom / /

URL

http /

SocialTag