2540 search results - page 250 / 508 » Abstract Logics as Dialgebras |
165
click to vote
CP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
156
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
195
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
160
Voted
DALT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievemen...
195
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...