1077 search results - page 94 / 216 » Introducing Software Engineering by means of Extreme Program... |
135
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
118
Voted
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
142
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
121
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
156
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...