Sciweavers

9595 search results - page 172 / 1919
» Functional programming in C
Sort
View
ESWS
2007
Springer
15 years 9 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
178
Voted
AFP
1995
Springer
128views Formal Methods» more  AFP 1995»
15 years 8 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 4 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»
15 years 11 months 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 5 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