Sciweavers

Share
14 search results - page 1 / 3
» Enforcing Strong Object Typing in Flexible Hypermedia
Sort
View
HT
1998
ACM
9 years 8 months ago
Enforcing Strong Object Typing in Flexible Hypermedia
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
Pedro Furtado, Henrique Madeira
CONCUR
2006
Springer
9 years 7 months ago
Dynamic Access Control in a Concurrent Object Calculus
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
Avik Chaudhuri
ECOOP
2007
Springer
9 years 10 months ago
Generic Universe Types
Ownership is a powerful concept to structure the object store and to control aliasing and modiļ¬cations of objects. This paper presents an ownership type system for a Javalike pr...
Werner Dietl, Sophia Drossopoulou, Peter Müll...
POS
1994
Springer
9 years 8 months ago
Expressing Object Residency Optimizations Using Pointer Type Annotations
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
J. Eliot B. Moss, Antony L. Hosking
SIGMOD
2009
ACM
161views Database» more  SIGMOD 2009»
10 years 4 months ago
Cross-tier, label-based security enforcement for web applications
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks
books