Sciweavers

3738 search results - page 501 / 748
» Parametrized Logic Programming
Sort
View
82
Voted
DAGSTUHL
2006
15 years 2 months ago
Face-off: AOP+LMP vs. legacy software
This paper applies a mix of aspect-oriented programming (AOP) and logic meta-programming (LMP) to tackle some concerns of/in legacy environments. We present four different problem...
Kris De Schutter, Bram Adams
IJCAI
2003
15 years 2 months ago
The Concurrent, Continuous FLUX
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
Yves Martins
AAAI
1992
15 years 1 months ago
Lexical Imprecision in Fuzzy Constraint Networks
We define fuzzy constraint networks and prove a theorem about their relationship to fuzzy logic. Then we introduce Khayyam, a fuzzy constraint-based programming language in which ...
James Bowen, K. Robert Lai, Dennis Bahler
98
Voted
CORR
2006
Springer
123views Education» more  CORR 2006»
15 years 23 days ago
Continuations, proofs and tests
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
Stefano Guerrini, Andrea Masini
ENTCS
2007
87views more  ENTCS 2007»
15 years 21 days ago
Aspect-orientation For Revitalising Legacy Business Software
This paper relates on a first attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. B...
Kris De Schutter, Bram Adams