Sciweavers

1552 search results - page 89 / 311
» Concepts and Concept-Oriented Programming
Sort
View
ECOOP
2005
Springer
14 years 3 months ago
Loosely-Separated "Sister" Namespaces in Java
Most modern programming systems such as Java allow us to link independently developed components together dynamically. This makes it possible to develop and deploy software on a pe...
Yoshiki Sato, Shigeru Chiba
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
14 years 3 months ago
Preventing overfitting in GP with canary functions
Overfitting is a fundamental problem of most machine learning techniques, including genetic programming (GP). Canary functions have been introduced in the literature as a concept ...
Nate Foreman, Matthew P. Evett
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
14 years 3 months ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
PPDP
2005
Springer
14 years 3 months ago
Isolation-only transactions by typing and versioning
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
Pawel T. Wojciechowski
SAS
2005
Springer
162views Formal Methods» more  SAS 2005»
14 years 3 months ago
Boolean Heaps
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
Andreas Podelski, Thomas Wies