Sciweavers

4355 search results - page 23 / 871
» From Interpretation to Compilation
Sort
View
ACL
1996
13 years 9 months ago
Compilation of Weighted Finite-State Transducers from Decision Trees
We report on a method for compiling decision trees into weighted finite-state transducers. The key assumptions are that the tree predictions specify how to rewrite symbols from an...
Richard Sproat, Michael Riley
LREC
2010
154views Education» more  LREC 2010»
13 years 9 months ago
Acquiring Reliable Predicate-argument Structures from Raw Corpora for Case Frame Compilation
We present a method for acquiring reliable predicate-argument structures from raw corpora for automatic compilation of case frames. Such lexicon compilation requires highly reliab...
Daisuke Kawahara, Sadao Kurohashi
CCS
2009
ACM
14 years 2 months ago
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
Cédric Fournet, Gurvan Le Guernic, Tamara R...
POPL
2010
ACM
14 years 5 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner
SIGSOFT
2006
ACM
14 years 1 months ago
From multi-modal scenarios to code: compiling LSCs into aspectJ
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
Shahar Maoz, David Harel