93 search results - page 5 / 19 » A functional intermediate form for diverse source languages |
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
MLMI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Prosody has been actively studied as an important knowledge source for speech recognition and understanding. In this paper, we are concerned with the question of exploiti...
PDCAT
2004
Springer
14 years 9 days ago
2004
Springer
Malicious codes and worms comprise the largest portion of the loss caused the security problem in the Internet. Small worms such as the “Blaster” spread quickly through the eno...
ECBS
2006
IEEE
14 years 1 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...