Sciweavers

10871 search results - page 92 / 2175

» A stable programming language

76

Voted

TOOLS
1994
IEEE

86views Programming Languages» more TOOLS 1994»

Object-Oriented Software Engineering

15 years 7 months ago

Object-Oriented Software Engineering

Download www.site.uottawa.ca

Ivar Jacobson

claim paper

Read More »

105

Voted

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

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

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

106

Voted

ECOOP
1993
Springer

85views Programming Languages» more ECOOP 1993»

Encapsulating Plurality

15 years 7 months ago

Encapsulating Plurality

Download web.cecs.pdx.edu

Andrew P. Black, Mark P. Immel

claim paper

Read More »

102

Voted

FPCA
1993

73views Programming Languages» more FPCA 1993»

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

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

108

Voted

ECOOP
1994
Springer

91views Programming Languages» more ECOOP 1994»

Patterns Generate Architectures

15 years 7 months ago

Patterns Generate Architectures

Download www.diku.dk

Kent Beck, Ralph E. Johnson

claim paper

Read More »

« Prev « First page 92 / 2175 Last » Next »