Back to Results
First PageMeta Content
Concurrency control / Monitor / Lock / Generic programming / Thread-local storage / Constructor / Software design pattern / Immutable object / Java / Computing / Software engineering / Computer programming


ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]A Parameterized Type System for Race-Free Java Programs Chandrasekhar Boyapati Martin Rinard
Add to Reading List

Document Date: 2003-10-23 20:07:16

Open Document

File Size: 298,15 KB

Share Result on Facebook

City

Cambridge / Tampa / /

Company

Free Java Programs Chandrasekhar Boyapati Martin Rinard Laboratory / /

Country

United States / /

Currency

USD / /

/

Event

Reorganization / /

Facility

Race-Free Java Programs Chandrasekhar Boyapati Martin Rinard Laboratory / Technology Square / Computer Science Massachusetts Institute of Technology / /

IndustryTerm

software development process / inference algorithm / formal type systems / software engineering principles / proposed type systems / http server / type systems / chat server / static race detection systems / /

OperatingSystem

FORK / /

Organization

Race-Free Java Programs Chandrasekhar Boyapati Martin Rinard Laboratory / National Science Foundation / Massachusetts Institute of Technology / /

/

Position

Writer / s2.head / TNode head / s1.head / straight-forward / producer / programmer / /

ProgrammingLanguage

Java / C / /

ProvinceOrState

Florida / Massachusetts / /

Technology

Object-Oriented Programming / Java / inference algorithm / Union-Find algorithm / 200 Technology / http / Augmented With Unknown Owner Parameters The inference algorithm / be solved using the standard Union-Find algorithm / /

SocialTag