3546 search results - page 421 / 710 » A Causal Logic of Logic Programming |
155
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
116
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
ISCA
2000
IEEE
15 years 5 months ago
2000
IEEE
Our program benchmarks and simulations of novel circuits indicate that large-window processors are feasible. Using our redesigned superscalar components, a large-window processor ...
148
click to vote
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
158
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...