1989 search results - page 255 / 398 » Set functions for functional logic programming |
130
click to vote
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
131
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
230
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
127
click to vote
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
128
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...