366 search results - page 49 / 74 » Model-checking higher-order functions |
JSW
2006
14 years 11 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
115
click to vote
SIAMAM
2008
14 years 11 months ago
2008
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...
SIGPRO
2008
14 years 11 months ago
2008
In this paper, an improved approach to blind deconvolution of LTI systems incorporating phase unwrapping is presented. The method can recover a noise-free estimate of the logarith...
113
click to vote
JAR
2007
14 years 11 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
TCS
2002
14 years 11 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...