Sciweavers

4139 search results - page 10 / 828
» Designing and Implementing Combinator Languages
Sort
View
TACS
1994
Springer
15 years 4 months ago
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
Douglas J. Howe, Scott D. Stoller
118
Voted
SIMUTOOLS
2008
15 years 1 months ago
Implementing MAC protocols for cooperative relaying: a compiler-assisted approach
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
Hermann S. Lichte, Stefan Valentin
88
Voted
PPDP
1999
Springer
15 years 4 months ago
C--: A Portable Assembly Language that Supports Garbage Collection
For a compiler writer, generating good machine code for a variety of platforms is hard work. One might try to reuse a retargetable code generator, but code generators are complex a...
Simon L. Peyton Jones, Norman Ramsey, Fermin Reig
93
Voted
ML
2007
ACM
134views Machine Learning» more  ML 2007»
14 years 12 months ago
Status report: the manticore project
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, Nic Ford, Mike Rainey, John H. Repp...
116
Voted
GEOINFORMATICA
2008
123views more  GEOINFORMATICA 2008»
15 years 15 days ago
Efficient Implementation Techniques for Topological Predicates on Complex Spatial Objects
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
Reasey Praing, Markus Schneider