Sciweavers

11909 search results - page 203 / 2382
» The Scheme Programming Language
Sort
View
SIGADA
1999
Springer
15 years 10 months ago
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
SIGADA
1999
Springer
15 years 10 months ago
Reducing maintenance costs through the application of modern software architecture principles
Christine Hulse, Scott Edgerton, Michael Ubnoske, ...
PLDI
1998
ACM
15 years 10 months ago
Partial Online Cycle Elimination in Inclusion Constraint Graphs
Manuel Fähndrich, Jeffrey S. Foster, Zhendong...
POPL
1998
ACM
15 years 10 months ago
Fast Interprocedural Class Analysis
Greg DeFouw, David Grove, Craig Chambers