894 search results - page 67 / 179 » Typed Contracts for Functional Programming |
CC
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
SOFTVIS
2010
ACM
13 years 9 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
EVOW
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we use Genetic Programming for the classification of different seafloor habitats, based on the acoustic backscatter data from an echo sounder. By developing a differ...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...