2859 search results - page 231 / 572 » A Programming Environment for Bousi-Prolog |
164
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
170
click to vote
AUSAI
2005
Springer
16 years 15 hour ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
154
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe how the ASSIST parallel programming environment can be used to run parallel programs on collections of heterogeneous workstations and evaluate the scalability...
153
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
209
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
Previous studies of program visualization have generally failed to provide convincing support for the benefits of algorithm animation in promoting the understanding of computatio...