Search Sciweavers | Sciweavers

10575 search results - page 138 / 2115

» Programming Languages

click to vote

ECOOP
1989
Springer

50views Programming Languages» more ECOOP 1989»

A Design Method for Object-Oriented Programming

15 years 2 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 2 months ago

Download www.cs.vu.nl

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

claim paper

Read More »

click to vote

APLAS
2007
ACM

83views Programming Languages» more APLAS 2007»

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification

15 years 2 months ago

Download www.cs.jhu.edu

Paritosh Shroff, Christian Skalka, Scott F. Smith

claim paper

Read More »

click to vote

HASKELL
2007
ACM

118views Programming Languages» more HASKELL 2007»

A shortcut fusion rule for circular program calculation

15 years 1 months ago

Download cs.ioc.ee

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

claim paper

Read More »

click to vote

SIGADA
1998
Springer

67views Programming Languages» more SIGADA 1998»

Dependency Analysis of Ada Programs

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers