Sciweavers

12272 search results - page 200 / 2455
» Experimental program analysis
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