655 search results - page 19 / 131 » On Flat Programs with Lists |
CHI
2009
ACM
14 years 2 months ago
2009
ACM
In this panel, we explore the role emerging transitive materials, like flexible thin-film displays, multi-touch input skins, e-textiles, micro-actuators and Claytronics might play...
CSCLP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
CATS
2006
13 years 9 months ago
2006
Learning from examples is an important characteristic feature of intelligence in both natural and artificial intelligent agents. In this paper, we study learnability of term rewri...
CP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
GI
1995
Springer
13 years 11 months ago
1995
Springer
In the past decade, the programming languages C++, FORTRAN 90 and Oberon-2 allevolved from their ancestors. This invites to reflect upon the suitability ofthese modern programming...