16883 search results - page 3293 / 3377 » Generalized Non-Reducible Descriptors |
154
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
142
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
186
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
183
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
158
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...