880 search results - page 89 / 176 » Model checking erlang programs: the functional approach |
134
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
119
click to vote
LOPSTR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
140
Voted
ISMB
2000
15 years 5 months ago
2000
We present a computational approach to predicting operons in the genomes of prokaryotic organisms. Our approach uses machine learning methods to induce predictive models for this ...
212
click to vote
FPCA
1995
15 years 7 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
137
click to vote
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...