Sciweavers

1185 search results - page 51 / 237
» Implementing Functional Languages: a tutorial
Sort
View
HASKELL
2009
ACM
15 years 4 months ago
Roll your own test bed for embedded real-time protocols: a haskell experience
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
RSP
2008
IEEE
118views Control Systems» more  RSP 2008»
15 years 4 months ago
Functional DIF for Rapid Prototyping
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
William Plishker, Nimish Sane, Mary Kiemb, Kapil A...
POPL
2007
ACM
15 years 10 months ago
Manticore: a heterogeneous parallel language
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Sh...
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
15 years 1 months ago
An Approach to Formal Verification of Arithmetic Functions in Assembly
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
Reynald Affeldt, Nicolas Marti
LPAR
2000
Springer
15 years 1 months ago
A Tactic Language for the System Coq
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
David Delahaye