2335 search results - page 75 / 467 » Type Checking Type Classes |
OOPSLA
2001
Springer
14 years 1 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
TLDI
2005
ACM
14 years 2 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
CSC
2006
13 years 10 months ago
2006
In this article, we study a class of biorthogonal sampling functions in the context of bandlimited wavelets, Meyer type wavelets. Originally raised in the construction of bandlimi...
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
d Abstract) Dario Colazzo1 , Giorgio Ghelli2 , Paolo Manghi2 , and Carlo Sartiani2 1 LRI - Universit?e Paris Sud 2 Dipartimento di Informatica - Universit`a di Pisa If a subexpress...