4757 search results - page 148 / 952 » Monads for Functional Programming |
140
click to vote
MPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
146
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
155
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
182
click to vote
APLAS
2004
ACM
16 years 7 days ago
2004
ACM
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
193
click to vote
KES
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents a mathematical model for dynamic decision making with an objective function induced from fuzzy preferences. The fuzzy preference is related to decisio...