Search Sciweavers | Sciweavers

10575 search results - page 138 / 2115

» Programming Languages

104

click to vote

ECOOP
1989
Springer

50views Programming Languages» more ECOOP 1989»

A Design Method for Object-Oriented Programming

15 years 10 months ago

Download www.ifs.uni-linz.ac.at

Winnie W. Y. Pun, Russel L. Winder

claim paper

Read More »

click to vote

ICCL
1990
IEEE

41views Programming Languages» more ICCL 1990»

Experience with Distributed Programming in ORCA

15 years 10 months ago

Download www.cs.vu.nl

Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenba...

claim paper

Read More »

139

click to vote

APLAS
2007
ACM

83views Programming Languages» more APLAS 2007»

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification

15 years 10 months ago

Download www.cs.jhu.edu

Paritosh Shroff, Christian Skalka, Scott F. Smith

claim paper

Read More »

168

click to vote

HASKELL
2007
ACM

118views Programming Languages» more HASKELL 2007»

A shortcut fusion rule for circular program calculation

15 years 10 months ago

Download cs.ioc.ee

João Paulo Fernandes, Alberto Pardo, Jo&ati...

claim paper

Read More »

122

click to vote

SIGADA
1998
Springer

67views Programming Languages» more SIGADA 1998»

Dependency Analysis of Ada Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers