Search Sciweavers | Sciweavers

11909 search results - page 203 / 2382

» The Scheme Programming Language

135

Voted

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 11 months ago

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

139

Voted

SIGADA
1999
Springer

104views Programming Languages» more SIGADA 1999»

Reducing maintenance costs through the application of modern software architecture principles

15 years 11 months ago

Download www.sigada.org

Christine Hulse, Scott Edgerton, Michael Ubnoske, ...

claim paper

Read More »

142

Voted

TOOLS
1998
IEEE

105views Programming Languages» more TOOLS 1998»

GEAMAS V2.0: An Object Oriented Platform for Complex Systems Simulations

15 years 11 months ago

Download personnel.univ-reunion.fr

Jean-Christophe Soulié, Pierre Marcenac, St...

claim paper

Read More »

151

Voted

PLDI
1998
ACM

84views Programming Languages» more PLDI 1998»

Partial Online Cycle Elimination in Inclusion Constraint Graphs

15 years 11 months ago

Download www.cs.umd.edu

Manuel Fähndrich, Jeffrey S. Foster, Zhendong...

claim paper

Read More »

130

click to vote

POPL
1998
ACM

88views Programming Languages» more POPL 1998»

Fast Interprocedural Class Analysis

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers