 | 2011 |
|---|
| 35 |       | Wolfram Kahl:
The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math".
CPP 2011: 216-230 |
| 34 | | Wolfram Kahl:
Dependently-Typed Formalisation of Relation-Algebraic Abstractions.
RAMICS 2011: 230-247 |
| 33 | | Wolfram Kahl:
Dependently-Typed Formalisation of Typed Term Graphs
TERMGRAPH 2011: 38-53 |
| 32 | | Wolfram Kahl:
Collagories: Relation-algebraic reasoning for gluing constructions.
J. Log. Algebr. Program. 80(6): 297-338 (2011) |
| 2010 |
|---|
| 31 | | Wolfram Kahl:
Amalgamating Pushout and Pullback Graph Transformation in Collagories.
ICGT 2010: 362-378 |
| 30 | | Wolfram Kahl:
Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories.
ECEASST 29: (2010) |
| 29 | | Wolfram Kahl:
Determinisation of relational substitutions in ordered categories with domain.
J. Log. Algebr. Program. 79(8): 812-829 (2010) |
| 2009 |
|---|
| 28 | | Wolfram Kahl:
Collagories for Relational Adhesive Rewriting.
RelMiCS 2009: 211-226 |
| 27 | | Scott West,
Wolfram Kahl:
A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell.
ECEASST 18: (2009) |
| 26 | | Christopher Kumar Anand,
Wolfram Kahl:
An Optimized Cell BE Special Function Library Generated by Coconut.
IEEE Trans. Computers 58(8): 1126-1138 (2009) |
| 2008 |
|---|
| 25 | | Wolfram Kahl:
Determinisation of Relational Substitutions in Ordered Categories with Domain.
RelMiCS 2008: 243-258 |
| 24 | | Wolfram Kahl:
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types.
J. Log. Algebr. Program. 76(1): 60-89 (2008) |
| 2007 |
|---|
| 23 | | Christopher Kumar Anand,
Wolfram Kahl:
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code.
AGTIVE 2007: 217-232 |
| 22 | | Christopher Kumar Anand,
Wolfram Kahl:
MultiLoop: efficient software pipelining for modern hardware.
CASCON 2007: 260-263 |
| 21 | | 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 |
|---|
| 20 | | Wolfram Kahl,
Jacques Carette,
Xiaoheng Ji:
Bimonadic Semantics for Basic Pattern Matching Calculi.
MPC 2006: 253-273 |
| 19 | | Wolfram Kahl:
Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.
RelMiCS 2006: 235-250 |
| 2005 |
|---|
| 18 | | Wolfram Kahl,
Christopher Kumar Anand,
Jacques Carette:
Control-Flow Semantics for Assembly-Level Data-Flow Graphs.
RelMiCS 2005: 147-160 |
| 2004 |
|---|
| 17 | | Wolfram Kahl:
Basic Pattern Matching Calculi: a Fresh View on Matching Failure.
FLOPS 2004: 276-290 |
| 2003 |
|---|
| 16 | | Wolfram Kahl:
Calculational Relation-Algebraic Proofs in Isabelle/Isar.
RelMiCS 2003: 178-190 |
| 2001 |
|---|
| 15 | | Wolfram Kahl:
A Relation-Algebraic Approach to Graph Structure Transformation.
RelMiCS 2001: 1-14 |
| 14 | | Wolfram Kahl,
David Lorge Parnas,
Gunther Schmidt:
RelMiS 2001 - Preface.
Electr. Notes Theor. Comput. Sci. 44(3): 221-223 (2001) |
| 13 | | Wolfram Kahl:
Refinement and Development of Programs from Relational Specifications.
Electr. Notes Theor. Comput. Sci. 44(3): 51-93 (2001) |
| 12 | | Wolfram Kahl:
Parallel composition and decomposition of specifications.
Inf. Sci. 139(3-4): 197-220 (2001) |
| 11 | | Wolfram Kahl,
Frank Derichsweiler:
Declarative Term Graph Attribution for Program Generation.
J. UCS 7(1): 54-70 (2001) |
| 2000 |
|---|
| 10 |  | Wolfram Kahl:
Unsharp Demonic Products and Stratified Term Graphs.
RelMiCS 2000: 165-174 |
| 1999 |
|---|
| 9 | | Wolfram Kahl:
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.
PADL 1999: 76-90 |
| 8 | | Wolfram Kahl:
Relational Matching for Graphical Calculi of Relations.
Inf. Sci. 119(3-4): 253-273 (1999) |
| 1998 |
|---|
| 7 | | Wolfram Kahl:
Demonic diagrams - towards a graphical refinement calculus.
RelMiCS 1998: 117-121 |
| 6 | | Wolfram Kahl:
Interally Typed Second-Order Term Graphs.
WG 1998: 149-163 |
| 5 | | Wolfram Kahl:
Relational Treatment of Term Graphs With Bound Variables.
Logic Journal of the IGPL 6(2): 259-303 (1998) |
| 1997 |
|---|
| 4 | | Wolfram Kahl:
Relational Matching for Graphical Calculi of Relations.
RelMiCS 1997: 91-100 |
| 1996 |
|---|
| 3 | | Wolfram Kahl:
Algebraische Termgraphersetzung mit gebundenen Variablen.
Utz 1996: I-VIII, 1-152 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page