183 search results - page 1 / 37 » Canonical Big Operators |
TPHOL
2008
IEEE
14 years 4 days ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
ESOP
2006
Springer
13 years 9 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
APLAS
2010
ACM
13 years 6 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
NECO
2008
13 years 5 months ago
2008
CHI
2009
ACM
14 years 6 months ago
2009
ACM
While the collection of behavioral protocols has been common practice in human-computer interaction research for many years, the analysis of large protocol data sets is often extr...