Wolfram Kahl
Wolfram Kahl
Associate Professor, Dept. of Computing and Software, McMaster University
Verified email at cas.mcmaster.ca - Homepage
Title
Cited by
Cited by
Year
Relational methods in computer science
C Brink, W Kahl, G Schmidt
Springer Science & Business Media, 2012
2372012
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
502001
Exploring (finite) relation algebras using tools written in Haskell
W Kahl, G Schmidt
Univ. der Bundeswehr München, Fak. für Informatik, 2000
342000
A relation-algebraic approach to graph structure transformation
W Kahl
International Conference on Relational Methods in Computer Science, 1-14, 2001
292001
Calculational relation-algebraic proofs in Isabelle/Isar
W Kahl
International Conference on Relational Methods in Computer Science, 178-190, 2003
272003
Control-flow semantics for assembly-level data-flow graphs
W Kahl, CK Anand, J Carette
International Conference on Relational Methods in Computer Science, 147-160, 2005
232005
Refactoring heterogeneous relation algebras around ordered categories and converse
W Kahl
J. Relational Methods in Comp. Sci 1, 277-313, 2004
232004
A study on symmetric quotients
H Furusawa, W Kahl
Univ. der Bundeswehr, Fak. für Informatik, 1998
231998
Dependently-typed formalisation of relation-algebraic abstractions
W Kahl
International Conference on Relational and Algebraic Methods in Computer …, 2011
212011
Compositional syntax and semantics of tables
W Kahl
SQRL Report 15, 2003
212003
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
212001
Algebraische Termgraphensetzung mit gebundenen Variablen
W Kahl
Herbert Utz Verlag, 1996
201996
Basic pattern matching calculi: A fresh view on matching failure
W Kahl
International Symposium on Functional and Logic Programming, 276-290, 2004
192004
Refinement and development of programs from relational specifications
W Kahl
Electronic Notes in Theoretical Computer Science 44 (3), 51-93, 2003
182003
Relational treatment of term graphs with bound variables
W Kahl
Logic Journal of IGPL 6 (2), 259-303, 1998
181998
An optimized Cell BE special function library generated by Coconut
CK Anand, W Kahl
IEEE Transactions on Computers 58 (8), 1126-1138, 2008
172008
The term graph programming system HOPS
W Kahl
Tool Support for System Specification, Development and Verification, 136-149, 1999
171999
Synthesizing and verifying multicore parallelism in categories of nested code graphs
CK Anand, W Kahl
Process Algebra for Parallel and Distributed Processing 2, 3-45, 2009
142009
FDA: Between process and product evaluation
MM Abdeen, W Kahl, T Maibaum
2007 Joint Workshop on High Confidence Medical Devices, Software, and …, 2007
132007
Beyond pretty-printing: Galley concepts in document formatting combinators
W Kahl
International Symposium on Practical Aspects of Declarative Languages, 76-90, 1999
121999
The system can't perform the operation now. Try again later.
Articles 1–20