Sciweavers

10585 search results - page 86 / 2117

» The Orc Programming Language

24

TOOLS
1993
IEEE

96views Programming Languages» more TOOLS 1993»

Object-Oriented Databases

14 years 28 days ago

Object-Oriented Databases

Download www.odbms.org

Frank Manola

claim paper

Read More »

23

TOOLS
1993
IEEE

93views Programming Languages» more TOOLS 1993»

Object-Oriented Analysis and Design

14 years 28 days ago

Object-Oriented Analysis and Design

Download www.utdallas.edu

Teri Roberts

claim paper

Read More »

17

TOOLS
1994
IEEE

86views Programming Languages» more TOOLS 1994»

Object-Oriented Software Engineering

14 years 28 days ago

Object-Oriented Software Engineering

Download www.site.uottawa.ca

Ivar Jacobson

claim paper

Read More »

23

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

14 years 28 days ago

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

Download people.csail.mit.edu

Jean Yang, Chris Hawblitzel

claim paper

Read More »

22

ECOOP
1993
Springer

85views Programming Languages» more ECOOP 1993»

Encapsulating Plurality

14 years 28 days ago

Encapsulating Plurality

Download web.cecs.pdx.edu

Andrew P. Black, Mark P. Immel

claim paper

Read More »

« Prev « First page 86 / 2117 Last » Next »