159 search results - page 5 / 32 » Semantics of Termination |
160
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
170
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
161
click to vote
DEDUCTIVE
1994
15 years 6 months ago
1994
Recent advances in non-monotonic semantics of deductive databases provide a simple framework for modeling the even-condition-action rules of active databases. This approach unifie...
117
click to vote
ICESS
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we propose semantic web-based mobile knowledge searching systems for display Web pages on mobile terminals. The proposed system reduces the time of verification when ...
138
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...