abc-private (Oct 2006) By messages with attachments

[abc] Concrete operational semantics Eric Bodden (Wed Oct 04 2006 - 17:10:07 BST)
1. paper.pdf (85129 bytes)
[abc] found small mistake in the semantics Eric Bodden (Thu Oct 05 2006 - 03:15:19 BST)
1. paper.pdf (85493 bytes)
RE: [abc] found small mistake in the semantics Eric Bodden (Sun Oct 08 2006 - 18:13:26 BST)
1. paper.pdf (86304 bytes)
[abc] another minor change Eric Bodden (Sun Oct 08 2006 - 20:19:26 BST)
1. paper.pdf (98497 bytes)
[abc] FW: OOPSLA'06 Posters Schedule Eric Bodden (Mon Oct 09 2006 - 13:36:29 BST)
1. Guide_Posters_06.doc (60416 bytes)
[abc] RE: nice tracematch... Eric Bodden (Mon Oct 09 2006 - 23:24:59 BST)
1. ReaderMain.java (2653 bytes)
2. WriterMain.java (1285 bytes)
[abc] bug in TM codegen? Eric Bodden (Mon Oct 23 2006 - 17:04:53 BST)
1. ASyncIteration.java (1503 bytes)
2. ASyncIteration_SyncCheck.jimple (12967 bytes)
3. ASyncIteration.jimple (4604 bytes)
4. Constraint_tracematch_0.jimple (30538 bytes)
5. Disjunct_tracematch_0.jimple (16060 bytes)
[abc] FW: sigplan - Paper: fp485 Submission Confirmation Elnar Hajiyev (Thu Oct 26 2006 - 00:03:59 BST)
1. hajiyev.pdf (227113 bytes)
2. hajiyev.ps (366735 bytes)
3. hajiyev.tex (100366 bytes)

Last message date: Tue Oct 31 2006 - 03:38:46 GMT
Archived on: Tue Mar 06 2007 - 16:13:30 GMT

124 messages sort by: [ thread ] [ author ] [ date ] [ subject ]

This archive was generated by hypermail 2.1.8 : Tue Mar 06 2007 - 16:13:30 GMT