3047 search results - page 199 / 610 » Aggregation functions: Means |
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
AIIA
2005
Springer
14 years 2 months ago
2005
Springer
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to ...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
PEPM
1993
ACM
14 years 1 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
LICS
1997
IEEE
14 years 25 days ago
1997
IEEE
Fixpoint expressions built from functional signatures interpreted over arbitrary complete lattices are considered. A generic notionof automatonis defined and shown, by means of a ...