4126 search results - page 312 / 826 » Set based logic programming |
144
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
142
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
128
click to vote
MICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
Detecting program phase changes accurately is an important aspect of dynamically adaptable systems. Three dynamic program phase detection techniques are compared – using instruc...
167
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
163
click to vote
ANOR
2002
15 years 4 months ago
2002
The Airline Crew Assignment Problem (ACA) consists of assigning lines of work to a set of crew members such that a set of activities is partitioned and the costs for that assignmen...