11022 search results - page 445 / 2205 » Programming Systems for Autonomy |
170
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
199
Voted
CSCLP
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
193
click to vote
OOPSLA
2004
Springer
16 years 28 days ago
2004
Springer
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...
224
click to vote
PADL
2004
Springer
16 years 28 days ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
176
click to vote
GI
2009
Springer
16 years 5 days ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...