Sciweavers

3228 search results - page 98 / 646
» Basics of Compiler Design
Sort
View
ICIP
2003
IEEE
15 years 3 months ago
Evolutionary design of context-free attentional operators
A framework for simulating the visual attention system in primates is presented. Each stage of the attentional hierarchy is chosen with consideration for both psychophysics and ma...
Neil D. B. Bruce, M. Ed Jernigan
HASKELL
2009
ACM
15 years 4 months ago
Type-safe observable sharing in Haskell
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
Andy Gill
VSTTE
2005
Springer
15 years 3 months ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
15 years 3 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
SIGPLAN
2002
14 years 9 months ago
Template meta-programming for Haskell
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
Tim Sheard, Simon L. Peyton Jones