Sciweavers

2192 search results - page 45 / 439
» Embedded function composition
Sort
View
JUCS
2007
120views more  JUCS 2007»
14 years 11 months ago
Compile-time Computation of Polytime Functions
: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechan...
Emanuele Covino, Giovanni Pani, Daniele Scrimieri
LCTRTS
2010
Springer
15 years 6 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
ANTS
2004
Springer
121views Algorithms» more  ANTS 2004»
15 years 5 months ago
Function Field Sieve in Characteristic Three
In this paper we investigate the efficiency of the function field sieve to compute discrete logarithms in the finite fields F3n . Motivated by attacks on identity based encrypti...
Robert Granger, Andrew J. Holt, Dan Page, Nigel P....
IFL
2004
Springer
15 years 5 months ago
A Functional Programming Technique for Forms in Graphical User Interfaces
This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (G...
Sander Evers, Peter Achten, Jan Kuper
ESWS
2007
Springer
15 years 3 months ago
Functional Programs as Linked Data
The idea of linked programs, or procedural RDF metadata, has not been deeply explored. This paper introduces a dedicated scripting language for linked data, called Ripple, whose pr...
Joshua Shinavier