145 search results - page 21 / 29 » K-Maude: A Rewriting Based Tool for Semantics of Programming... |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
CAISE
1999
Springer
13 years 12 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
CC
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
CADE
2003
Springer
14 years 7 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
ECTEL
2009
Springer
14 years 2 months ago
2009
Springer
Reusable adaptation specifications for adaptive behaviour has come to the forefront of adaptive research recently, with EU projects such as GRAPPLE1, and PhD research efforts on de...