Wolfram Kahl

According to our database, Wolfram Kahl authored at least 56 papers between 1994 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Calculational relation-algebraic proofs in the teaching tool CalcCheck.

Wolfram Kahl

J. Log. Algebraic Methods Program., 2020

Designing and evaluating new instructions that accelerate sigmoid-based machine learning.

Lucas M. Dutton, Curtis D'Alves, Wolfram Kahl, Robert F. Enenkel, Christopher Kumar Anand

Proceedings of the CASCON '20: Proceedings of the 30th Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 10, 2020

2019

A language feature to unbundle data at will (short paper).

Musa Al-hassy, Jacques Carette, Wolfram Kahl

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

2018

Semantics-Preserving DPO-Based Term Graph Rewriting.

Wolfram Kahl, Yuhang Zhao

Proceedings of the Proceedings Tenth International Workshop on Computing with Terms and Graphs, 2018

A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs.

Wolfram Kahl, Yuhang Zhao

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

Finite Limits and Anti-unification in Substitution Categories.

Wolfram Kahl

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

CalcCheck: A Proof Checker for Teaching the "Logical Approach to Discrete Math".

Wolfram Kahl

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Hardware/software codesign for mathematical function acceleration.

Christopher Kumar Anand, Lucas Dutton, Adele Olejarz, Robert F. Enenkel, Wolfram Kahl

Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018

2017

A Graph Transformation Approach to Introducing Aspects into Software Architectures.

Md Nour Hossain, Wolfram Kahl, Tom Maibaum

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras.

Wolfram Kahl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Relational and algebraic methods in computer science.

Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller

J. Log. Algebraic Methods Program., 2016

2015

Relational and algebraic methods in computer science.

Wolfram Kahl, Timothy G. Griffin, Peter Höfner

J. Log. Algebraic Methods Program., 2015

Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets.

Musa Al-hassy, Wolfram Kahl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Towards "mouldable code" via nested code graph transformation.

Wolfram Kahl

J. Log. Algebraic Methods Program., 2014

Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms.

Wolfram Kahl

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

A Simple Parallel Implementation of Interaction Nets in Haskell.

Wolfram Kahl

Proceedings of the Proceedings Tenth International Workshop on Developments in Computational Models, 2014

Categories of Coalgebras with Monadic Homomorphisms.

Wolfram Kahl

Proceedings of the Coalgebraic Methods in Computer Science, 2014

A Mechanised Abstract Formalisation of Concept Lattices.

Wolfram Kahl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2012

Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.

Victor Bandur, Wolfram Kahl, Alan Wassyng

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Towards Certifiable Implementation of Graph Transformation via Relation Categories.

Wolfram Kahl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Collagories: Relation-algebraic reasoning for gluing constructions.

Wolfram Kahl

J. Log. Algebraic Methods Program., 2011

Dependently-Typed Formalisation of Typed Term Graphs

Wolfram Kahl

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math".

Wolfram Kahl

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Dependently-Typed Formalisation of Relation-Algebraic Abstractions.

Wolfram Kahl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Determinisation of relational substitutions in ordered categories with domain.

Wolfram Kahl

J. Log. Algebraic Methods Program., 2010

Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories.

Wolfram Kahl

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Amalgamating Pushout and Pullback Graph Transformation in Collagories.

Wolfram Kahl

Proceedings of the Graph Transformations - 5th International Conference, 2010

2009

An Optimized Cell BE Special Function Library Generated by Coconut.

Christopher Kumar Anand, Wolfram Kahl

IEEE Trans. Computers, 2009

A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell.

Scott West, Wolfram Kahl

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Haskell Module Tools for Liberating Type Class Design.

Wolfram Kahl

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Collagories for Relational Adhesive Rewriting.

Wolfram Kahl

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types.

Wolfram Kahl

J. Log. Algebraic Methods Program., 2008

2007

MultiLoop: efficient software pipelining for modern hardware.

Christopher Kumar Anand, Wolfram Kahl

Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007

Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code.

Christopher Kumar Anand, Wolfram Kahl

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Bimonadic Semantics for Basic Pattern Matching Calculi.

Wolfram Kahl, Jacques Carette, Xiaoheng Ji

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.

Wolfram Kahl

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

Control-Flow Semantics for Assembly-Level Data-Flow Graphs.

Wolfram Kahl, Christopher Kumar Anand, Jacques Carette

Proceedings of the Relational Methods in Computer Science, 2005

2004

Basic Pattern Matching Calculi: a Fresh View on Matching Failure.

Wolfram Kahl

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

Calculational Relation-Algebraic Proofs in Isabelle/Isar.

Wolfram Kahl

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002

Inequational Deduction as Term Graph Rewriting.

Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König

Proceedings of the First International Workshop on Term Graph Rewriting, 2002

2001

Declarative Term Graph Attribution for Program Generation.

Wolfram Kahl, Frank Derichsweiler

J. Univers. Comput. Sci., 2001

Parallel composition and decomposition of specifications.

Wolfram Kahl

Inf. Sci., 2001

RelMiS 2001 - Preface.

Wolfram Kahl, David Lorge Parnas, Gunther Schmidt

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Refinement and Development of Programs from Relational Specifications.

Wolfram Kahl

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Software Evolution via Hierarchical Hypergraphs with Flexible Coverage.

Wolfram Kahl

Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

A Relation-Algebraic Approach to Graph Structure Transformation.

Wolfram Kahl

Proceedings of the Relational Methods in Computer Science, 2001

2000

Unsharp Demonic Products and Stratified Term Graphs.

Wolfram Kahl

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Relational Matching for Graphical Calculi of Relations.

Wolfram Kahl

Inf. Sci., 1999

Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.

Wolfram Kahl

Proceedings of the Practical Aspects of Declarative Languages, 1999

1998

Relational Treatment of Term Graphs With Bound Variables.

Wolfram Kahl

Log. J. IGPL, 1998

Interally Typed Second-Order Term Graphs.

Wolfram Kahl

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1998

The Term Graph Programming System HOPS.

Wolfram Kahl

Proceedings of the International Workshop Tool Support for System Specification, 1998

Demonic diagrams - towards a graphical refinement calculus.

Wolfram Kahl

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1996

Algebraic Graph Derivations for Graphical Calculi.

Wolfram Kahl

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1996

Algebraische Termgraphersetzung mit gebundenen Variablen.

Wolfram Kahl

Informatik, Utz, ISBN: 978-3-931327-60-6, 1996

1994

Can Functional Programming Be Liberated from the Applicative Style?

Wolfram Kahl

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994