899 search results - page 70 / 180 » A CTL-Based Logic for Program Abstractions |
112
click to vote
ML
2008
ACM
15 years 17 days ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
100
click to vote
TACS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
141
click to vote
ALP
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
111
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
114
Voted
POPL
2010
ACM
15 years 3 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...