672 search results - page 113 / 135 » On the Expressive Power of the Loop Language |
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
114
click to vote
VL
2007
IEEE
15 years 8 months ago
2007
IEEE
When creating new application programming interfaces (APIs), designers must make many decisions. These decisions affect the quality of the resulting APIs in terms of performance (...
122
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
101
click to vote
ICECCS
2002
IEEE
15 years 6 months ago
2002
IEEE
Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...
110
click to vote
TIME
1994
IEEE
15 years 6 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...