3971 search results - page 380 / 795 » On the Use of Properties in Java Applications |
181
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
143
click to vote
FLOPS
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
166
click to vote
CONTEXT
2003
Springer
16 years 1 days ago
2003
Springer
This paper discusses the dynamic of context through the use of a context-based formalism called contextual graphs that has been initially developed in the SART application for the ...
203
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Component-based software engineering proposes building complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. Therefore, the main development e...
183
click to vote
JVCA
2010
15 years 5 months ago
2010
In a context of interactive applications, adapting motion capture data to new situations or producing variants of them are known as non trivial tasks. We propose an original metho...