1835 search results - page 230 / 367 » Functional Programming of Behavior-Based Systems |
143
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
146
click to vote
CDES
2008
15 years 6 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
134
Voted
AAAI
1990
15 years 6 months ago
1990
The repetitive behavior of a device or system can be described in two ways: a detailed description of one iteration of the behavior, or a summary description of the behavior over ...
121
Voted
JASSS
1998
15 years 4 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
132
Voted
LISP
2002
15 years 4 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...