Sciweavers

403 search results - page 26 / 81
» Contracts for higher-order functions
Sort
View
ASIACRYPT
2006
Springer
15 years 3 months ago
Generic Attacks on Unbalanced Feistel Schemes with Contracting Functions
In this paper, we describe generic attacks on unbalanced Feistel schemes with contracting functions. These schemes are used to construct pseudo-random permutations from kn bits to ...
Jacques Patarin, Valérie Nachef, Côme...
110
Voted
JSW
2007
134views more  JSW 2007»
14 years 11 months ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
Hervé Chang, Philippe Collet
ICFP
2002
ACM
15 years 11 months ago
Contracts for higher-order functions
Robert Bruce Findler, Matthias Felleisen
HPDC
2006
IEEE
15 years 5 months ago
Service contracts and aggregate utility functions
Alvin AuYoung, Laura Rit, Sohn Wiener, John Wilkes
FLOPS
2006
Springer
15 years 3 months ago
Typed Contracts for Functional Programming
Ralf Hinze, Johan Jeuring, Andres Löh