Sciweavers

3417 search results - page 26 / 684
» Visualizing Partial Evaluation
Sort
View
IPL
2006
75views more  IPL 2006»
13 years 7 months ago
On obtaining the Boyer-Moore string-matching algorithm by partial evaluation
Olivier Danvy, Henning Korsholm Rohde
INTERNET
2000
68views more  INTERNET 2000»
13 years 7 months ago
PIPE: Web Personalization by Partial Evaluation
Naren Ramakrishnan
TOPLAS
1998
41views more  TOPLAS 1998»
13 years 7 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...
RV
2010
Springer
122views Hardware» more  RV 2010»
13 years 5 months ago
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
Eric Bodden, Patrick Lam, Laurie J. Hendren
VL
1998
IEEE
134views Visual Languages» more  VL 1998»
13 years 11 months ago
Visual Semantics - Or: What You See is What You Compute
We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and som...
Martin Erwig