2373 search results - page 364 / 475 » On the Theory of Structural Subtyping |
166
click to vote
ISW
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
151
click to vote
MODELS
2007
Springer
16 years 16 days ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
171
click to vote
PPDP
2007
Springer
16 years 16 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
184
click to vote
TLCA
2007
Springer
16 years 15 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
191
click to vote
WADS
2007
Springer
16 years 15 days ago
2007
Springer
An approach for reducing the navigation effort for the users of a web site is to enhance its hyperlink structure with additional hotlinks. We address the task of adding at most on...