1210 search results - page 144 / 242 » Formal Techniques for Java Programs |
127
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
115
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
103
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
100
click to vote
JUCS
2007
15 years 2 months ago
2007
: Rule mining is an important issue in data mining. To address it, a novel Immune Gene Expression Programming (IGEP) model was proposed. Concepts of rule, gene, immune cell, and an...
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...