18 search results - page 3 / 4 » flops 2006 |
FLOPS
2006
Springer
14 years 2 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
FLOPS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
FLOPS
2006
Springer
14 years 2 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
FLOPS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
FLOPS
2006
Springer
14 years 2 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...