852 search results - page 100 / 171 » entcs 2010 |
86
Voted
ENTCS
2006
15 years 16 days ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
114
click to vote
ENTCS
2006
15 years 16 days ago
2006
In this paper, we describe PAG (Prototyping with Attribute Grammars), a framework for building Prolog prototypes from specifications based on attribute grammars, which we have dev...
145
Voted
ENTCS
2006
15 years 16 days ago
2006
It can be traced back to Brouwer that continuous functions of type StrA B, where StrA is the type of infinite streams over elements of A, can be represented by well founded, Abra...
132
Voted
ENTCS
2006
15 years 16 days ago
2006
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and ...
96
Voted
ENTCS
2007
15 years 15 days ago
2007
In a recent paper, probabilistic processes are used to generate Borel probability measures on topological spaces X that are equipped with a representation in the sense of Type-2 T...