4702 search results - page 86 / 941 » How to Copyright a Function |
121
click to vote
ICFP
1998
ACM
15 years 4 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
CSL
2004
Springer
15 years 4 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
110
click to vote
AISB
2008
Springer
15 years 2 months ago
2008
Springer
Imagination is generally regarded as a very powerful and advanced cognitive ability. In this paper we propose a modelling framework for what we call functional imagination: the ab...
119
Voted
DATE
2005
IEEE
15 years 2 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...