Sciweavers

10666 search results - page 91 / 2134

» Quantum programming languages

23

TOOLS
1993
IEEE

93views Programming Languages» more TOOLS 1993»

Object-Oriented Analysis and Design

14 years 1 months 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 1 months 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 1 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 »

23

ECOOP
1993
Springer

85views Programming Languages» more ECOOP 1993»

Encapsulating Plurality

14 years 1 months ago

Encapsulating Plurality

Download web.cecs.pdx.edu

Andrew P. Black, Mark P. Immel

claim paper

Read More »

28

FPCA
1993

73views Programming Languages» more FPCA 1993»

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

14 years 1 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 »