2859 search results - page 176 / 572 » A Programming Environment for Bousi-Prolog |
157
click to vote
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
139
Voted
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
133
Voted
IFIP
2001
Springer
15 years 9 months ago
2001
Springer
: In the field of co-simulation, the construction of a bridge between different simulators and the solution of problems like synchronization and data translation are some of the ma...
132
Voted
CASES
2000
ACM
15 years 9 months ago
2000
ACM
We describe an automated environment to assist a system-on-achip designer to tune a microprocessor core to a particular application program that will run on the microprocessor, an...
134
Voted
POS
1998
Springer
15 years 9 months ago
1998
Springer
Several techniques have been proposed for adding persistence to the Java language environment. This paper describes a system we call icee that works by checkpointing the Java Virt...