3706 search results - page 211 / 742 » The Transformational Approach to Program Development |
118
click to vote
AES
2006
Springer
15 years 3 months ago
2006
Springer
Determining the semantic similarity is an important issue in the development of semantic search technology. In this paper, we propose an approach to determining the semantic simil...
144
click to vote
POPL
2010
ACM
16 years 14 days ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
136
click to vote
SERP
2004
15 years 4 months ago
2004
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
122
click to vote
LISP
2002
15 years 2 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
108
click to vote
MSCS
2006
15 years 3 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...