Sciweavers

3713 search results - page 103 / 743
» Constructing a Calculus of Programs
Sort
View
TIC
1998
Springer
15 years 6 months ago
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Alexander Aiken, Manuel Fähndrich, Jeffrey S....
CSEDU
2009
131views Education» more  CSEDU 2009»
15 years 4 months ago
Constructing Strategies for Programming
Alex Gerdes, Bastiaan Heeren, Johan Jeuring