Sciweavers

15778 search results - page 143 / 3156
» Aikido and software engineering
Sort
View
145
Voted
IWPC
1996
IEEE
15 years 11 months ago
Fast, Flexible Syntactic Pattern Matching and Processing
William G. Griswold, Darren C. Atkinson, Collin Mc...
126
Voted
FSTTCS
1997
Springer
15 years 11 months ago
Compilation and Equivalence of Imperative Objects
Andrew D. Gordon, Paul D. Hankin, Søren B. ...
153
Voted
ICSE
1997
IEEE-ACM
15 years 11 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov
PEPM
1997
ACM
15 years 11 months ago
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol
Gilles Muller, Eugen-Nicolae Volanschi, Renaud Mar...