Search Sciweavers | Sciweavers

10585 search results - page 174 / 2117

» The Orc Programming Language

104

Voted

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

15 years 7 months ago

Download research.microsoft.com

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Ma...

claim paper

Read More »

Voted

TOOLS
1999
IEEE

73views Programming Languages» more TOOLS 1999»

Constructing Interoperable Components in Distributed Systems

15 years 7 months ago

Download www.jos.org.cn

Sea Ling, Heinz W. Schmidt, Rohan Fletcher

claim paper

Read More »

Voted

TOOLS
1999
IEEE

98views Programming Languages» more TOOLS 1999»

Architecture = Abstractions over Software

15 years 7 months ago

Download www.mip.sdu.dk

Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...

claim paper

Read More »

111

Voted

TOOLS
1999
IEEE

80views Programming Languages» more TOOLS 1999»

Software Evolution: Prototypical Deltas

15 years 7 months ago

Download www.mip.sdu.dk

Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...

claim paper

Read More »

118

Voted

TOOLS
1999
IEEE

84views Programming Languages» more TOOLS 1999»

A Formal Software Development Approach Based on COOZ and Refinement Calculus

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers