Sciweavers

1552 search results - page 89 / 311
» Concepts and Concept-Oriented Programming
Sort
View
135
Voted
ECOOP
2005
Springer
16 years 8 days 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»
16 years 8 days 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
178
Voted
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
16 years 8 days 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
16 years 7 days 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
199
Voted
SAS
2005
Springer
162views Formal Methods» more  SAS 2005»
16 years 7 days 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