5090 search results - page 146 / 1018 » Constructing Strategies for Programming |
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
DALT
2004
Springer
14 years 29 days ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- In this paper, a discrete
FPLE
1995
14 years 24 days ago
1995
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
CP
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...