Relational methods in computer science C Brink, W Kahl, G Schmidt Springer Science & Business Media, 1997 | 255 | 1997 |
Named instances for Haskell type classes W Kahl, J Scheffczyk Proceedings of the 2001 Haskell Workshop, number UU-CS-2001-23 in Tech. Rep …, 2001 | 53 | 2001 |
Exploring (finite) relation algebras using tools written in Haskell W Kahl, G Schmidt Univ. der Bundeswehr München, Fak. für Informatik, 2000 | 35 | 2000 |
A Relation-Algebraic Approach to Graph Structure Transformation: Invited Talk W Kahl International Conference on Relational Methods in Computer Science, 1-14, 2001 | 28 | 2001 |
Calculational relation-algebraic proofs in Isabelle/Isar W Kahl International Conference on Relational Methods in Computer Science, 178-190, 2003 | 27 | 2003 |
A study on symmetric quotients H Furusawa, W Kahl Univ. der Bundeswehr, Fak. für Informatik, 1998 | 27 | 1998 |
Basic pattern matching calculi: A fresh view on matching failure W Kahl International Symposium on Functional and Logic Programming, 276-290, 2004 | 24 | 2004 |
Refactoring heterogeneous relation algebras around ordered categories and converse W Kahl J. Relational Methods in Comp. Sci 1, 277-313, 2004 | 23 | 2004 |
Dependently-typed formalisation of relation-algebraic abstractions W Kahl Relational and Algebraic Methods in Computer Science: 12th International …, 2011 | 22 | 2011 |
Control-flow semantics for assembly-level data-flow graphs W Kahl, CK Anand, J Carette Relational Methods in Computer Science: 8th International Seminar on …, 2006 | 22 | 2006 |
Compositional syntax and semantics of tables W Kahl SQRL Report 15, 2003 | 21 | 2003 |
Relational treatment of term graphs with bound variables W Kahl Logic Journal of IGPL 6 (2), 259-303, 1998 | 21 | 1998 |
Algebraische Termgraphensetzung mit gebundenen Variablen W Kahl Herbert Utz Verlag, 1996 | 21 | 1996 |
A relation-algebraic approach to graph structure transformation, 2001. Habil W Kahl Thesis, Fakultät für Informatik, Univ. der Bundeswehr München, Techn. Report …, 2001 | 20 | 2001 |
An optimized Cell BE special function library generated by Coconut CK Anand, W Kahl IEEE Transactions on Computers 58 (8), 1126-1138, 2008 | 19 | 2008 |
The term graph programming system HOPS W Kahl Tool Support for System Specification, Development and Verification, 136-149, 1998 | 19 | 1998 |
Refinement and development of programs from relational specifications W Kahl Electronic Notes in Theoretical Computer Science 44 (3), 51-93, 2003 | 18 | 2003 |
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types W Kahl The Journal of Logic and Algebraic Programming 76 (1), 60-89, 2008 | 15 | 2008 |
Synthesizing and verifying multicore parallelism in categories of nested code graphs CK Anand, W Kahl Process Algebra for Parallel and Distributed Processing, 25-68, 2008 | 14 | 2008 |
Beyond pretty-printing: Galley concepts in document formatting combinators W Kahl International Symposium on Practical Aspects of Declarative Languages, 76-90, 1999 | 14 | 1999 |