4323 search results - page 169 / 865 » Callback Implementations in C |
112
Voted
IWPC
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper describes a collection of algorithms that we developed and implemented to facilitate the automatic recovery of the modular structure of a software system from its sourc...
105
Voted
WER
1999
Springer
15 years 6 months ago
1999
Springer
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
110
Voted
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we discuss the need for learning in multi-agent design systems, and the variety of forms it might take. We propose a particular method of guiding learning in these s...
146
Voted
SOSL
1993
15 years 6 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
100
click to vote
ICFP
2007
ACM
15 years 6 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...