4126 search results - page 587 / 826 » Set based logic programming |
128
click to vote
SAS
1999
Springer
15 years 7 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
162
click to vote
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
122
click to vote
ICPP
1993
IEEE
15 years 7 months ago
1993
IEEE
Abstract — In MIMD (Multiple Instruction stream, Multiple Data stream) execution, each processor has its own state. Although these states are generally considered to be independe...
155
click to vote
ECOOP
1992
Springer
15 years 7 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
100
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...