5090 search results - page 174 / 1018 » Constructing Strategies for Programming |
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
LPAR
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
TCS
2002
13 years 9 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
IDEAL
2004
Springer
14 years 2 months ago
2004
Springer
Recently, it seems to be interested in the conversational agent as an effective and familiar information provider. Most of conversational agents reply to user’s queries based on ...
ICPADS
1996
IEEE
14 years 1 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...