Sciweavers

5090 search results - page 21 / 1018
» Constructing Strategies for Programming
Sort
View
DLS
2005
122views Languages» more  DLS 2005»
13 years 9 months ago
Language constructs for context-oriented programming: an overview of ContextL
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
Pascal Costanza, Robert Hirschfeld
SMALLTALK
2007
Springer
14 years 1 months ago
Forward chaining in HALO: an implementation strategy for history-based logic pointcuts
Charlotte Herzeel, Kris Gybels, Pascal Costanza, C...
VL
1998
IEEE
136views Visual Languages» more  VL 1998»
13 years 12 months ago
Designing New Programming Constructs in a Data Flow VL
A powerful and useful Data-Flow Visual Programming Language (DFVPL) must provide the necessary programming constructs to deal with complex problems. The main purpose of this paper...
Elena Ghittori, Mauro Mosconi, Marco Porta
IJCAI
1989
13 years 8 months ago
The Specialization and Transformation of Constructive Existence Proofs
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
Peter Madden
JUCS
2006
104views more  JUCS 2006»
13 years 7 months ago
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
Jaime Sánchez-Hernández