8132 search results - page 241 / 1627 » Dependability, Abstraction, and Programming |
197
click to vote
IIE
2008
15 years 6 months ago
2008
Abstract. Extreme Programming (XP) shows several interesting approaches which are very attractive for education. It is centered around early and incremental creation of working sof...
255
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
184
click to vote
ICLP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
158
click to vote
AFP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using...
148
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- Interior-point algorithms constitute a very interesting class of algorithms for solving linear-programming problems. In this paper we study efficient implementations of ...