 | 2009 |
|---|
| 25 |       | Wolfram Kahl:
Collagories for Relational Adhesive Rewriting.
RelMiCS 2009: 211-226 |
| 2008 |
|---|
| 24 | | Wolfram Kahl:
Determinisation of Relational Substitutions in Ordered Categories with Domain.
RelMiCS 2008: 243-258 |
| 23 | | Wolfram Kahl:
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types.
J. Log. Algebr. Program. 76(1): 60-89 (2008) |
| 2007 |
|---|
| 22 | | Christopher Kumar Anand,
Wolfram Kahl:
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code.
AGTIVE 2007: 217-232 |
| 21 | | Christopher Kumar Anand,
Wolfram Kahl:
MultiLoop: efficient software pipelining for modern hardware.
CASCON 2007: 260-263 |
| 20 | | Andrea Corradini,
Fabio Gadducci,
Wolfram Kahl,
Barbara König:
Inequational Deduction as Term Graph Rewriting.
Electr. Notes Theor. Comput. Sci. 72(1): 31-44 (2007) |
| 2006 |
|---|
| 19 | | Wolfram Kahl,
Jacques Carette,
Xiaoheng Ji:
Bimonadic Semantics for Basic Pattern Matching Calculi.
MPC 2006: 253-273 |
| 18 | | Wolfram Kahl:
Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.
RelMiCS 2006: 235-250 |
| 2005 |
|---|
| 17 | | Wolfram Kahl,
Christopher Kumar Anand,
Jacques Carette:
Control-Flow Semantics for Assembly-Level Data-Flow Graphs.
RelMiCS 2005: 147-160 |
| 2004 |
|---|
| 16 | | Wolfram Kahl:
Basic Pattern Matching Calculi: a Fresh View on Matching Failure.
FLOPS 2004: 276-290 |
| 2003 |
|---|
| 15 | | Wolfram Kahl:
Calculational Relation-Algebraic Proofs in Isabelle/Isar.
RelMiCS 2003: 178-190 |
| 2001 |
|---|
| 14 | | Wolfram Kahl:
A Relation-Algebraic Approach to Graph Structure Transformation.
RelMiCS 2001: 1-14 |
| 13 | | Wolfram Kahl:
Refinement and Development of Programs from Relational Specifications.
Electr. Notes Theor. Comput. Sci. 44(3): (2001) |
| 12 | | Wolfram Kahl,
David Lorge Parnas,
Gunther Schmidt:
RelMiS 2001 - Preface.
Electr. Notes Theor. Comput. Sci. 44(3): (2001) |
| 11 |  | Wolfram Kahl:
Parallel composition and decomposition of specifications.
Inf. Sci. 139(3-4): 197-220 (2001) |
| 10 | | Wolfram Kahl,
Frank Derichsweiler:
Declarative Term Graph Attribution for Program Generation.
J. UCS 7(1): 54-70 (2001) |
| 2000 |
|---|
| 9 | | Wolfram Kahl:
Unsharp Demonic Products and Stratified Term Graphs.
RelMiCS 2000: 165-174 |
| 1999 |
|---|
| 8 | | Wolfram Kahl:
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.
PADL 1999: 76-90 |
| 7 | | Wolfram Kahl:
Relational Matching for Graphical Calculi of Relations.
Inf. Sci. 119(3-4): 253-273 (1999) |
| 1998 |
|---|
| 6 | | Wolfram Kahl:
Demonic diagrams - towards a graphical refinement calculus.
RelMiCS 1998: 117-121 |
| 5 | | Wolfram Kahl:
Interally Typed Second-Order Term Graphs.
WG 1998: 149-163 |
| 4 | | Wolfram Kahl:
Relational Treatment of Term Graphs With Bound Variables.
Logic Journal of the IGPL 6(2): 259-303 (1998) |
| 1997 |
|---|
| 3 | | Wolfram Kahl:
Relational Matching for Graphical Calculi of Relations.
RelMiCS 1997: 91-100 |
| 1996 |
|---|
| 2 | | Wolfram Kahl:
Algebraic Graph Derivations for Graphical Calculi.
WG 1996: 224-238 |
| 1994 |
|---|
| 1 | | Wolfram Kahl:
Can Functional Programming Be Liberated from the Applicative Style?
IFIP Congress (1) 1994: 330-335 |
