Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

Source URL: www-kb.is.s.u-tokyo.ac.jp

Effective Query Rewriting with Ontologies over DBoxes

Source URL: www.inf.unibz.it

Rewriting Flash Memories by Message Passing Eyal En Gad, Wentao Huang, Yue Li and Jehoshua Bruck California Institute of Technology, Pasadena, CA 91125 {eengad,whuang,yli,bruck}@caltech.edu I. I NTRODUCTION

Source URL: paradise.caltech.edu

Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London

Source URL: wwwhomes.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• Control flow
• High-level programming languages
• Programming language comparisons
• Programming language syntax
• Eval
• JavaScript
• Scope
• Dynamic programming language

Rewriting Flash Memories by Message Passing Eyal En Gad, Wentao Huang, Yue Li and Jehoshua Bruck California Institute of Technology, Pasadena, CA 91125 {eengad,whuang,yli,bruck}@caltech.edu I. I NTRODUCTION

Source URL: www.paradise.caltech.edu

In-place Graph Rewriting with Interaction Nets Ian Mackie Shinya Sato An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute

Source URL: www.ianmackie.com

A Term Rewriting System for Kuratowski’s Closure-Complement Problem∗ Osama Al-Hassani1 , Quratul-ain Mahesar1 , Claudio Sacerdoti Coen2 , and Volker Sorge1 1

Source URL: www.cs.unibo.it

Tree Automata for Reachability in Rewriting Thomas Genet http://people.irisa.fr/Thomas.Genet/ IRISA, Universit´e de Rennes 1 1

Source URL: www.win.tue.nl

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems Jacob Matthews1 , Robert Bruce Findler1 , Matthew Flatt2 , and Matthias Felleisen3 1 University of Chicago {jacobm, robby}@cs.uchicago.edu

Source URL: www.cs.utah.edu

Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction Shinnosuke Mizutani Naoki Nishida

Source URL: www.cs.ox.ac.uk