Sciweavers

9595 search results - page 172 / 1919
» Functional programming in C
Sort
View
ESWS
2007
Springer
15 years 10 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
AFP
1995
Springer
128views Formal Methods» more  AFP 1995»
15 years 10 months ago
Monads for Functional Programming
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
Philip Wadler
AROBOTS
2000
93views more  AROBOTS 2000»
15 years 6 months ago
Functional Programming of Behavior-Based Systems
In this paper, I describe a simple functional programming language, GRL, in which most of the characteristic features of the popular behavior-based robot architectures can be conc...
Ian Horswill
GLVLSI
2007
IEEE
189views VLSI» more  GLVLSI 2007»
16 years 23 days ago
Hardware-accelerated path-delay fault grading of functional test programs for processor-based systems
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
Paolo Bernardi, Michelangelo Grosso, Matteo Sonza ...
POPL
2003
ACM
16 years 6 months ago
Static prediction of heap space usage for first-order functional programs
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
Martin Hofmann, Steffen Jost