8766 search results - page 393 / 1754 » Functional logic programming |
101
click to vote
ICTAC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the...
122
Voted
STOC
1991
ACM
15 years 7 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
94
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
157
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
145
click to vote
POPL
2010
ACM
15 years 6 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...