Sciweavers

10666 search results - page 91 / 2134

» Quantum programming languages

97

Voted

TOOLS
1993
IEEE

93views Programming Languages» more TOOLS 1993»

Object-Oriented Analysis and Design

15 years 7 months ago

Object-Oriented Analysis and Design

Download www.utdallas.edu

Teri Roberts

claim paper

Read More »

72

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 »

102

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 »

103

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 »

100

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 »

« Prev « First page 91 / 2134 Last » Next »