2496 search results - page 53 / 500 » Error-detecting properties of languages |
FTDCS
2003
IEEE
14 years 3 months ago
2003
IEEE
Ubicomp applications are characterized as situationaware, frequently-and-ephemerally-communicated and QoS-properties-associated. Using middleware to provide multiple QoS support f...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
AAAI
2008
14 years 8 days ago
2008
We introduce in this paper two new, complete propositional languages and study their properties in terms of (1) their support for polytime operations and (2) their ability to repr...
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
Recently, Mikołaj Boja´nczyk introduced a class of max-regular languages, an extension of regular languages of infinite words preserving many of its usual properties. This new c...
UML
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...