Sciweavers

10899 search results - page 306 / 2180
» The GP Programming System
Sort
View
WCRE
2006
IEEE
16 years 21 days ago
Program COmprehension through Dynamic Analysis
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
Andy Zaidman, Orla Greevy, Abdelwahab Hamou-Lhadj
ASP
2005
Springer
16 years 7 days ago
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
Enrico Giunchiglia, Marco Maratea
CC
2004
Springer
142views System Software» more  CC 2004»
16 years 2 days ago
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
Philippe Clauss, Irina Tchoupaeva
CICLING
2004
Springer
16 years 2 days ago
Towards Programming in Everyday Language: A Case for Email Management
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
Toru Sugimoto, Noriko Ito, Shino Iwashita, Michio ...
UPP
2004
Springer
16 years 1 days ago
Higher-Order Chemical Programming Style
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...