796 search results - page 50 / 160 » The Semantics of Abstract Program Slicing |
230
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
127
Voted
AUSAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
132
Voted
FOSSACS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
117
Voted
SEUS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
120
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...