×

zbMATH — the first resource for mathematics

Kahl, Wolfram

Compute Distance To:
Author ID: kahl.wolfram Recent zbMATH articles by "Kahl, Wolfram"
Published as: Kahl, Wolfram
Homepage: http://www.cas.mcmaster.ca/~kahl/
External Links: MGP
Documents Indexed: 41 Publications since 1997, including 4 Books

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 76 times in 53 Documents Cited by Year
Relational methods in computer science. Zbl 0871.00027
Brink, Chris (ed.); Kahl, Wolfram (ed.); Schmidt, Gunther (ed.)
19
1997
Dependently-typed formalisation of relation-algebraic abstractions. Zbl 1329.68063
Kahl, Wolfram
6
2011
Calculational relation-algebraic proofs in Isabelle/Isar. Zbl 1088.68772
Kahl, Wolfram
5
2004
Basic pattern matching calculi: a fresh view on matching failure. Zbl 1122.68395
Kahl, Wolfram
5
2004
Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types. Zbl 1139.18005
Kahl, Wolfram
5
2008
Relational matching for graphical calculi of relations. Zbl 0943.68092
Kahl, Wolfram
4
1999
The term graph programming system HOPS. Zbl 0979.68510
Kahl, Wolfram
3
1999
Collagories: relation-algebraic reasoning for gluing constructions. Zbl 1216.68137
Kahl, Wolfram
3
2011
Categories of coalgebras with monadic homomorphisms. Zbl 1445.68119
Kahl, Wolfram
3
2014
Semigroupoid interfaces for relation-algebraic programming in Haskell. Zbl 1134.68339
Kahl, Wolfram
3
2006
Relational treatment of term graphs with bound variables. Zbl 0892.68051
Kahl, Wolfram
2
1998
Parallel composition and decomposition of specifications. Zbl 1004.68097
Kahl, Wolfram
2
2001
The teaching tool CalcCheck: a proof-checker for Gries and Schneider’s “Logical approach to discrete math”. Zbl 1350.68238
Kahl, Wolfram
2
2011
Amalgamating pushout and pullback graph transformation in collagories. Zbl 1306.68077
Kahl, Wolfram
2
2010
An optimized cell BE special function library generated by Coconut. Zbl 1367.65203
Anand, Christopher Kumar; Kahl, Wolfram
2
2009
Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223
Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques
1
2006
Declarative term graph attribution for program generation. Zbl 0973.68021
Kahl, Wolfram; Derichsweiler, Frank
1
2001
A relation-algebraic approach to graph structure transformation. Zbl 1027.68612
Kahl, Wolfram
1
2002
Towards certifiable implementation of graph transformation via relation categories. Zbl 1364.68309
Kahl, Wolfram
1
2012
Internally typed second-order term graphs. Zbl 0918.68086
Kahl, Wolfram
1
1998
CalcCheck: a proof checker for teaching the “Logical approach to discrete math”. Zbl 1462.68215
Kahl, Wolfram
1
2018
Calculational relation-algebraic proofs in the teaching tool CalcCheck. Zbl 1462.68216
Kahl, Wolfram
1
2018
Collagories for relational adhesive rewriting. Zbl 1267.68129
Kahl, Wolfram
1
2009
Determinisation of relational substitutions in ordered categories with domain. Zbl 1139.18006
Kahl, Wolfram
1
2008
Synthesizing and verifying multicore parallelism in categories of nested code graphs. Zbl 1172.68403
Anand, Kumar Christopher; Kahl, Wolfram
1
2009
CalcCheck: a proof checker for teaching the “Logical approach to discrete math”. Zbl 1462.68215
Kahl, Wolfram
1
2018
Calculational relation-algebraic proofs in the teaching tool CalcCheck. Zbl 1462.68216
Kahl, Wolfram
1
2018
Categories of coalgebras with monadic homomorphisms. Zbl 1445.68119
Kahl, Wolfram
3
2014
Towards certifiable implementation of graph transformation via relation categories. Zbl 1364.68309
Kahl, Wolfram
1
2012
Dependently-typed formalisation of relation-algebraic abstractions. Zbl 1329.68063
Kahl, Wolfram
6
2011
Collagories: relation-algebraic reasoning for gluing constructions. Zbl 1216.68137
Kahl, Wolfram
3
2011
The teaching tool CalcCheck: a proof-checker for Gries and Schneider’s “Logical approach to discrete math”. Zbl 1350.68238
Kahl, Wolfram
2
2011
Amalgamating pushout and pullback graph transformation in collagories. Zbl 1306.68077
Kahl, Wolfram
2
2010
An optimized cell BE special function library generated by Coconut. Zbl 1367.65203
Anand, Christopher Kumar; Kahl, Wolfram
2
2009
Collagories for relational adhesive rewriting. Zbl 1267.68129
Kahl, Wolfram
1
2009
Synthesizing and verifying multicore parallelism in categories of nested code graphs. Zbl 1172.68403
Anand, Kumar Christopher; Kahl, Wolfram
1
2009
Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types. Zbl 1139.18005
Kahl, Wolfram
5
2008
Determinisation of relational substitutions in ordered categories with domain. Zbl 1139.18006
Kahl, Wolfram
1
2008
Semigroupoid interfaces for relation-algebraic programming in Haskell. Zbl 1134.68339
Kahl, Wolfram
3
2006
Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223
Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques
1
2006
Calculational relation-algebraic proofs in Isabelle/Isar. Zbl 1088.68772
Kahl, Wolfram
5
2004
Basic pattern matching calculi: a fresh view on matching failure. Zbl 1122.68395
Kahl, Wolfram
5
2004
A relation-algebraic approach to graph structure transformation. Zbl 1027.68612
Kahl, Wolfram
1
2002
Parallel composition and decomposition of specifications. Zbl 1004.68097
Kahl, Wolfram
2
2001
Declarative term graph attribution for program generation. Zbl 0973.68021
Kahl, Wolfram; Derichsweiler, Frank
1
2001
Relational matching for graphical calculi of relations. Zbl 0943.68092
Kahl, Wolfram
4
1999
The term graph programming system HOPS. Zbl 0979.68510
Kahl, Wolfram
3
1999
Relational treatment of term graphs with bound variables. Zbl 0892.68051
Kahl, Wolfram
2
1998
Internally typed second-order term graphs. Zbl 0918.68086
Kahl, Wolfram
1
1998
Relational methods in computer science. Zbl 0871.00027
Brink, Chris; Kahl, Wolfram; Schmidt, Gunther
19
1997
all top 5

Cited by 74 Authors

8 Berghammer, Rudolf
8 Kahl, Wolfram
4 Winter, Michael
3 Fischer, Sebastian
2 Desharnais, Jules
2 Formisano, Andrea
2 Gadducci, Fabio
2 Givant, Steven R.
2 Mili, Ali
2 Montanari, Ugo G.
2 Omodeo, Eugenio Giovanni
2 Pfaltz, John L.
2 Struth, Georg
2 Stucke, Insa
2 Tchier, Fairouz
1 Anand, Christopher Kumar
1 Andréka, Hajnal
1 Armstrong, Alasdair
1 Ayala-Rincón, Mauricio
1 Bonelli, Eduardo
1 Brunet, Paul
1 Bucciarelli, Antonio
1 Cantone, Domenico
1 Carter, Nathan C.
1 Cauderlier, Raphaël
1 Coccia, Matteo
1 Cristiá, Maximiliano
1 Danilenko, Nikita
1 de Freitas, Renata P.
1 de Vrijer, Roel
1 Dershowitz, Nachum
1 Diallo, Nafi
1 Doberkat, Ernst-Erich
1 Dougherty, Daniel J.
1 Dubois, Catherine
1 Edi, Juan
1 Gadea, Alejandro
1 Ghardallou, Wided
1 Gritzner, Thomas F.
1 Gunther, Emmanuel
1 Gutiérrez, Claudio
1 Guttmann, Walter
1 Hirsch, Robin
1 Höfner, Peter
1 Jamison, Robert E.
1 Joosten, Sebastiaan J. C.
1 Jouannaud, Jean-Pierre
1 Kesner, Delia
1 Klop, Jan Willem
1 König, Harald
1 Maddux, Roger D.
1 Miraldo, Victor Cacciari
1 Moggi, Eugenio
1 Monks, Kenneth G.
1 Németi, István
1 Nicolosi Asmundo, Marianna
1 Oliveira, José Nuno
1 Pagano, Miguel
1 Pous, Damien
1 Ronchi Della Rocca, Simona
1 Rossi, Gianfranco
1 Schmidt, Gunther
1 Šemrl, Jaš
1 Sharma, Anuroop
1 Simeoni, Marta
1 Tangian, Andranik S.
1 van Oostrom, Vincent
1 Veloso, Paulo Augusto S.
1 Veloso, Sheila R. M.
1 Viana, Petrucio
1 Viso, Andrés
1 von Oheimb, David
1 Weber, Tjark
1 Wolter, Uwe E.

Citations by Year