Research

From Tom

(Difference between revisions)
Jump to: navigation, search
m (Support for lectures)
Current revision (12:47, 3 September 2009) (view source)
m (Transferred useful links to TomResearch wiki)
 
Line 1: Line 1:
-
= Some documentation =
 
-
 
-
== Java bytecode ==
 
-
* http://www-adele.imag.fr/~donsez/cours/j2me.pdf
 
-
* ASM http://asm.objectweb.org
 
-
* BCEL http://jakarta.apache.org/bcel
 
-
* Javassist http://www.csg.is.titech.ac.jp/~chiba/javassist
 
-
 
-
== DSL ==
 
-
* http://www.cs.uu.nl/wiki/Sgc/DomainSpecificLanguages
 
-
 
-
== Code comprehension ==
 
-
* http://www2.umassd.edu/swpi/1docs/comprehension.html
 
-
* http://infotectonica.com/juliet/
 
-
 
-
== Strategy languages ==
 
-
* A logic for rewriting strategies http://citeseer.ist.psu.edu/kieburtz01logic.html
 
-
* Object matching http://www.jot.fm//issues/issue_2006_11/article2/
 
-
* JJForester http://citeseer.ist.psu.edu/416018.html
 
-
* Hybrid modal logic to express properties? http://www.lri.fr/~bidoit/sem-pisa-06.pdf
 
-
* A Survey of Rewriting Strategies in Program Transformation Systems http://people.cs.uu.nl/visser/ftp/Vis03-survey.pdf http://www.program-transformation.org/Transform/TheEssenceOfStrategicProgramming
 
-
*Program Transformation with Scoped Dynamic Rewrite Rules http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-005.pdf
 
-
 
-
== Fluent interfaces ==
 
-
* http://www.falvotech.com/blog/index.php?/archives/371-Fluent-Interfaces-What-the-....-!!.html
 
-
 
-
== Related tools ==
 
-
* Stratego http://www.program-transformation.org/Stratego/WebHome
 
-
* ASF+SDF http://www.asfsdf.org
 
-
* TXL http://www.txl.ca
 
-
* Scala http://scala.epfl.ch
 
-
* Silver http://www.melt.cs.umn.edu/silver.html
 
-
* K http://fsl.cs.uiuc.edu/index.php/Rewriting_Logic_Semantics
 
-
 
= Support for lectures =
= Support for lectures =
Line 39: Line 5:
= Tom in the news =
= Tom in the news =
Here is a collection of links to what speaks about [[Tom on the web]].
Here is a collection of links to what speaks about [[Tom on the web]].
-
 
-
= Things to do =
 
-
In this page we list the different projects we have in mind: [[Things to do]]
 

Current revision

Support for lectures

Here you will find support for lectures : Documentation:Support

Tom in the news

Here is a collection of links to what speaks about Tom on the web.

Personal tools
Create a book