32 search results - page 7 / 7 » Recursion Schemes and Logical Reflection |
ICFP
2004
ACM
14 years 6 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
HICSS
2008
IEEE
14 years 21 days ago
2008
IEEE
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...