7430 search results - page 525 / 1486 » Programming Applications in CIFF |
158
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
205
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
178
click to vote
HYBRID
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
187
click to vote
PADL
2005
Springer
16 years 15 days ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
215
click to vote
ERLANG
2003
ACM
16 years 8 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...