218 search results - page 13 / 44 » Types and trace effects of higher order programs |
ICCTA
2007
IEEE
2007
IEEE
Digital Signal Types Identification Using a Hierarchical SVM-Based Classifier and Efficient Features
13 years 7 months ago
Automatic digital signal type identification (ADSTI) is an important topic for both military and civilian communication applications. Most of proposed techniques (identifiers) can...
CSSE
2008
IEEE
13 years 9 months ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
ICFP
2002
ACM
14 years 7 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
IFL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...