Sciweavers

10899 search results - page 343 / 2180
» The GP Programming System
Sort
View
AVI
2004
15 years 8 months ago
MVT: a system for visual testing of software
Software development is prone to time-consuming and expensive errors. Finding and correcting errors in a program (debugging) is usually done by executing the program with differen...
Jan Lönnberg, Ari Korhonen, Lauri Malmi
IJCAI
1993
15 years 8 months ago
An Analytic Learning System for Specializing Heuristics
This paper describes how meta-level theories are used for analytic learning in M U L T I - T A C . M U L T I - T A C operationalizes generic heuristics for constraint-satisfaction...
Steven Minton
ALC
1997
15 years 8 months ago
Synthesising interconnections
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
José Luiz Fiadeiro, Antónia Lopes, T...
JFP
2006
89views more  JFP 2006»
15 years 6 months ago
Featherweight generic confinement
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
Alex Potanin, James Noble, Dave Clarke, Robert Bid...
TOPLAS
2010
115views more  TOPLAS 2010»
15 years 5 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
Shane Markstrum, Daniel Marino, Matthew Esquivel, ...