3771 search results - page 162 / 755 » Subobject Transformation Systems |
156
Voted
ENTCS
2002
15 years 3 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
150
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
120
click to vote
POPL
2003
ACM
15 years 8 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
174
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
— This paper deals with the state estimation of nonlinear systems. The systems under study are characterized by two-time scale models. The state estimation is performed by design...
140
Voted
CASE
2011
14 years 3 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...