Sciweavers

10575 search results - page 73 / 2115

» T2Script Programming Language

136

Voted

TOOLS
1993
IEEE

93views Programming Languages» more TOOLS 1993»

Object-Oriented Analysis and Design

15 years 10 months ago

Object-Oriented Analysis and Design

Download www.utdallas.edu

Teri Roberts

claim paper

Read More »

106

Voted

TOOLS
1994
IEEE

86views Programming Languages» more TOOLS 1994»

Object-Oriented Software Engineering

15 years 10 months ago

Object-Oriented Software Engineering

Download www.site.uottawa.ca

Ivar Jacobson

claim paper

Read More »

137

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

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

15 years 10 months 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 »

138

Voted

ECOOP
1993
Springer

85views Programming Languages» more ECOOP 1993»

Encapsulating Plurality

15 years 10 months ago

Encapsulating Plurality

Download web.cecs.pdx.edu

Andrew P. Black, Mark P. Immel

claim paper

Read More »

127

FPCA
1993

73views Programming Languages» more FPCA 1993»

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism

15 years 10 months ago

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism

Download web.cecs.pdx.edu

Mark P. Jones

claim paper

Read More »

« Prev « First page 73 / 2115 Last » Next »