6829 search results - page 352 / 1366 » Quantitative Generalizations of Languages |
198
click to vote
SIGADA
2007
Springer
16 years 26 days ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
157
click to vote
STACS
2007
Springer
16 years 26 days ago
2007
Springer
We contribute to the study of efficient enumeration algorithms for all solutions of constraint satisfaction problems. The only algorithm known so far, presented by Creignou and H´...
195
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
165
click to vote
SAC
2006
ACM
16 years 22 days ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...
163
click to vote
XIMEP
2006
ACM
16 years 21 days ago
2006
ACM
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...