Wolfram Kahl

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 12

Top Topics

Anti Unification

Graph Structures

Datalog Queries

Computer Science

Top Venues

J. Log. Algebraic Methods Program.

Publications

Lucas M. Dutton, Curtis D'Alves, Wolfram Kahl, Robert F. Enenkel, Christopher Kumar Anand
Designing and evaluating new instructions that accelerate sigmoid-based machine learning. CASCON (2020)
Wolfram Kahl
Calculational relation-algebraic proofs in the teaching tool CalcCheck. J. Log. Algebraic Methods Program. 117 (2020)
Musa Al-hassy, Jacques Carette, Wolfram Kahl
A language feature to unbundle data at will (short paper). GPCE (2019)
Wolfram Kahl, Yuhang Zhao
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs. WADT (2018)
Wolfram Kahl, Yuhang Zhao
Semantics-Preserving DPO-Based Term Graph Rewriting. TERMGRAPH@FSCD (2018)
Wolfram Kahl
Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck. RAMiCS (2018)
Wolfram Kahl
Finite Limits and Anti-unification in Substitution Categories. WADT (2018)
Wolfram Kahl
CalcCheck: A Proof Checker for Teaching the "Logical Approach to Discrete Math". ITP (2018)
Christopher Kumar Anand, Lucas Dutton, Adele Olejarz, Robert F. Enenkel, Wolfram Kahl
Hardware/software codesign for mathematical function acceleration. CASCON (2018)
Wolfram Kahl
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. RAMiCS (2017)
Md Nour Hossain, Wolfram Kahl, Tom Maibaum
A Graph Transformation Approach to Introducing Aspects into Software Architectures. MoDELS (Satellite Events) (2017)
Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 85 (4) (2016)
Wolfram Kahl, Timothy G. Griffin, Peter Höfner
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 84 (3) (2015)
Musa Al-hassy, Wolfram Kahl
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. RAMiCS (2015)
Wolfram Kahl
A Simple Parallel Implementation of Interaction Nets in Haskell. DCM (2014)
Wolfram Kahl
Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014)
Wolfram Kahl
Towards "mouldable code" via nested code graph transformation. J. Log. Algebraic Methods Program. 83 (2) (2014)
Wolfram Kahl
Categories of Coalgebras with Monadic Homomorphisms. CMCS (2014)
Wolfram Kahl
A Mechanised Abstract Formalisation of Concept Lattices. RAMiCS (2014)
Wolfram Kahl
Towards Certifiable Implementation of Graph Transformation via Relation Categories. RAMiCS (2012)
Victor Bandur, Wolfram Kahl, Alan Wassyng
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. FMICS (2012)
Wolfram Kahl
Collagories: Relation-algebraic reasoning for gluing constructions. J. Log. Algebraic Methods Program. 80 (6) (2011)
Wolfram Kahl
Dependently-Typed Formalisation of Typed Term Graphs TERMGRAPH (2011)
Wolfram Kahl
The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math". CPP (2011)
Wolfram Kahl
Dependently-Typed Formalisation of Relation-Algebraic Abstractions. RAMiCS (2011)
Wolfram Kahl
Amalgamating Pushout and Pullback Graph Transformation in Collagories. ICGT (2010)
Wolfram Kahl
Determinisation of relational substitutions in ordered categories with domain. J. Log. Algebraic Methods Program. 79 (8) (2010)
Wolfram Kahl
Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Wolfram Kahl
Collagories for Relational Adhesive Rewriting. RelMiCS (2009)
Christopher Kumar Anand, Wolfram Kahl
An Optimized Cell BE Special Function Library Generated by Coconut. IEEE Trans. Computers 58 (8) (2009)
Wolfram Kahl
Haskell Module Tools for Liberating Type Class Design. Trends in Functional Programming (2009)
Scott West, Wolfram Kahl
A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Wolfram Kahl
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types. J. Log. Algebraic Methods Program. 76 (1) (2008)
Wolfram Kahl
Determinisation of Relational Substitutions in Ordered Categories with Domain. RelMiCS (2008)
Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König
Inequational Deduction as Term Graph Rewriting. Electron. Notes Theor. Comput. Sci. 72 (1) (2007)
Christopher Kumar Anand, Wolfram Kahl
MultiLoop: efficient software pipelining for modern hardware. CASCON (2007)
Christopher Kumar Anand, Wolfram Kahl
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. AGTIVE (2007)
Wolfram Kahl
Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell. RelMiCS (2006)
Wolfram Kahl, Jacques Carette, Xiaoheng Ji
Bimonadic Semantics for Basic Pattern Matching Calculi. MPC (2006)
Wolfram Kahl, Christopher Kumar Anand, Jacques Carette
Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS (2005)
Wolfram Kahl
Basic Pattern Matching Calculi: a Fresh View on Matching Failure. FLOPS (2004)
Wolfram Kahl
Calculational Relation-Algebraic Proofs in Isabelle/Isar. RelMiCS (2003)
Wolfram Kahl, Frank Derichsweiler
Declarative Term Graph Attribution for Program Generation. J. Univers. Comput. Sci. 7 (1) (2001)
Wolfram Kahl
Software Evolution via Hierarchical Hypergraphs with Flexible Coverage. FFSE@CSMR (2001)
Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
RelMiS 2001 - Preface. Electron. Notes Theor. Comput. Sci. 44 (3) (2001)
Wolfram Kahl
A Relation-Algebraic Approach to Graph Structure Transformation. RelMiCS (2001)
Wolfram Kahl
Parallel composition and decomposition of specifications. Inf. Sci. 139 (3-4) (2001)
Wolfram Kahl
Refinement and Development of Programs from Relational Specifications. Electron. Notes Theor. Comput. Sci. 44 (3) (2001)
Wolfram Kahl
Unsharp Demonic Products and Stratified Term Graphs. RelMiCS (2000)
Wolfram Kahl
Relational Matching for Graphical Calculi of Relations. Inf. Sci. 119 (3-4) (1999)
Wolfram Kahl
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. PADL (1999)
Wolfram Kahl
Relational Treatment of Term Graphs With Bound Variables. Log. J. IGPL 6 (2) (1998)
Wolfram Kahl
Demonic diagrams - towards a graphical refinement calculus. RelMiCS (1998)
Wolfram Kahl
The Term Graph Programming System HOPS. Tool Support for System Specification, Development and Verification (1998)
Wolfram Kahl
Interally Typed Second-Order Term Graphs. WG (1998)
Wolfram Kahl
Relational Matching for Graphical Calculi of Relations. RelMiCS (1997)
Wolfram Kahl
Algebraic Graph Derivations for Graphical Calculi. WG (1996)
Wolfram Kahl
Can Functional Programming Be Liberated from the Applicative Style? IFIP Congress (1) (1994)