Sciweavers

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