Sciweavers

3827 search results - page 416 / 766
» The Epsilon Generation Language
Sort
View
PEPM
1999
ACM
15 years 11 months ago
C++ Templates as Partial Evaluation
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
Todd L. Veldhuizen
REFLECTION
1999
Springer
15 years 11 months ago
Metaprogramming Domain Specific Metaprograms
When a metaprogram automatically creates rules, some created rules are useless because they can never apply. Some metarules, that we call impossibility metarules, are used to remov...
Tristan Cazenave
ICALP
1998
Springer
15 years 11 months ago
A Hierarchy of Equivalences for Asynchronous Calculi
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...
Cédric Fournet, Georges Gonthier
ICGI
1998
Springer
15 years 11 months ago
Learning Stochastic Finite Automata from Experts
We present in this paper a new learning problem called learning distributions from experts. In the case we study the experts are stochastic deterministic finite automata (sdfa). W...
Colin de la Higuera
PLDI
1997
ACM
15 years 11 months ago
Data-centric Multi-level Blocking
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
Induprakas Kodukula, Nawaaz Ahmed, Keshav Pingali