Sciweavers

10899 search results - page 180 / 2180
» The GP Programming System
Sort
View
119
Voted
POPL
1999
ACM
15 years 7 months ago
Constraint Systems for Useless Variable Elimination
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...
Mitchell Wand, Igor Siveroni
121
Voted
ICRA
2008
IEEE
127views Robotics» more  ICRA 2008»
15 years 9 months ago
Programming modular robots with locally distributed predicates
— We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...
Michael DeRosa, Seth Copen Goldstein, Peter Lee, P...
125
Voted
LCTRTS
2010
Springer
15 years 9 months ago
Sampling-based program execution monitoring
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
Sebastian Fischmeister, Yanmeng Ba
138
Voted
LPNMR
2004
Springer
15 years 8 months ago
Using Criticalities as a Heuristic for Answer Set Programming
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman
111
Voted
FUIN
2006
85views more  FUIN 2006»
15 years 2 months ago
Implementing Typeful Program Transformations
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
Chiyan Chen, Rui Shi, Hongwei Xi