Sciweavers

6960 search results - page 170 / 1392
» Continuity Analysis of Programs
Sort
View
APSEC
2001
IEEE
15 years 10 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver
PEPM
1995
ACM
15 years 10 months ago
Semantic Foundations of Binding Time Analysis for Imperative Programs
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck