Sciweavers

11909 search results - page 406 / 2382
» The Scheme Programming Language
Sort
View
ASPLOS
2000
ACM
15 years 11 months ago
Frequent Value Locality and Value-Centric Data Cache Design
By studying the behavior of programs in the SPECint95 suite we observed that six out of eight programs exhibit a new kind of value locality, the frequent value locality, according...
Youtao Zhang, Jun Yang 0002, Rajiv Gupta
POPL
2006
ACM
16 years 7 months ago
A verifiable SSA program representation for aggressive compiler optimization
Vijay Menon, Neal Glew, Brian R. Murphy, Andrew Mc...
ICFP
2012
ACM
13 years 9 months ago
Functional programming with structured graphs
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
Bruno C. d. S. Oliveira, William R. Cook
145
Voted
SLP
1990
76views more  SLP 1990»
15 years 8 months ago
Partial Evaluation for Hierarchies of Logic Theories
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
Michele Bugliesi, Evelina Lamma, Paola Mello
174
Voted
ISORC
2002
IEEE
15 years 11 months ago
Program Instrumentation for Debugging and Monitoring with AspectC++
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...