126 search results - page 26 / 26 » A Tense And Aspect Calculus |
176
click to vote
ENTCS
2002
15 years 4 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...