2036 search results - page 177 / 408 » A generic type-and-effect system |
183
Voted
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...
170
Voted
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Collections of already developed programs are important resources for efficient development of reliable software systems. In this paper, we propose a novel method of ranking softw...
202
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
208
click to vote
ADMI
2009
Springer
16 years 1 months ago
2009
Springer
An extendable and generic Agent Enriched Data Mining (AEDM) framework, EMADS (the Extendable Multi-Agent Data mining System) is described. The central feature of the framework is ...
161
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...