1636 search results - page 55 / 328 » Type-Theoretic Functional Semantics |
178
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
185
click to vote
SISAP
2010
IEEE
15 years 3 months ago
2010
IEEE
The retrieval of videos of interest from large video collections is a main open problem which calls for the definition of new video content characterization techniques in term of ...
161
click to vote
PEPM
1993
ACM
15 years 10 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...
128
click to vote
LFP
1992
15 years 7 months ago
1992
We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when c...
147
click to vote
IFM
2007
Springer
16 years 4 days ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...