164 search results - page 13 / 33 » Exception Handling in an Event-Driven System |
POPL
1999
ACM
14 years 2 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
APLAS
2008
ACM
13 years 11 months ago
2008
ACM
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...
ICCAD
1995
IEEE
14 years 1 months ago
1995
IEEE
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
—The manipulation of flexible and limp sheet materials is a common requirement in many industrial manufacturing processes, however automation of even simple tasks involving these...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...