Sciweavers

491 search results - page 99 / 99
» Variance and Generalized Constraints for C
Sort
View
CC
2003
Springer
250views System Software» more  CC 2003»
14 years 22 days ago
Automatic Detection of Uninitialized Variables
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
Thi Viet Nga Nguyen, François Irigoin, Cori...