Sciweavers

1090 search results - page 47 / 218
» Resource-Bounded Partial Evaluation
Sort
View
LREC
2010
188views Education» more  LREC 2010»
14 years 11 months ago
Improving Chunking Accuracy on Croatian Texts by Morphosyntactic Tagging
In this paper, we present the results of an experiment with utilizing a stochastic morphosyntactic tagger as a pre-processing module of a rule-based chunker and partial parser for...
Kristina Vuckovic, Zeljko Agic, Marko Tadic
CC
2012
Springer
227views System Software» more  CC 2012»
13 years 5 months ago
Programming Paradigm Driven Heap Analysis
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
Mark Marron, Ondrej Lhoták, Anindya Banerje...
ENTCS
2008
146views more  ENTCS 2008»
14 years 10 months ago
Complete Laziness: a Natural Semantics
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
François-Régis Sinot
CSSE
2008
IEEE
15 years 4 months ago
Generation of Executable Representation for Processor Simulation with Dynamic Translation
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
Jiajia Song, HongWei Hao, Claude Helmstetter, Vani...
PADO
2001
Springer
15 years 2 months ago
Type Systems for Useless-Variable Elimination
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
Adam Fischbach, John Hannan