Kazuhiko Sakaguchi

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 9

Top Topics

Object Extraction

Structured Representation

Algebraic Expressions

Functional Analysis

Top Venues

J. Formaliz. Reason.

Publications

Cyril Cohen, Kazuhiko Sakaguchi
A bargain for mergesorts (functional pearl) - How to prove your mergesort correct and stable, almost for free. CoRR (2024)
Kazuhiko Sakaguchi
Reflexive Tactics for Algebra, Revisited. ITP (2022)
Kazuhiko Sakaguchi
Reflexive tactics for algebra, revisited. CoRR (2022)
Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. IJCAR (2) (2020)
Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi
Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description). FSCD (2020)
Kazuhiko Sakaguchi
Program extraction for mutable arrays. Sci. Comput. Program. 191 (2020)
Kazuhiko Sakaguchi
Validating Mathematical Structures. IJCAR (2) (2020)
Kazuhiko Sakaguchi
Validating Mathematical Structures. CoRR (2020)
Kazuhiko Sakaguchi
Program Extraction for Mutable Arrays. FLOPS (2018)
Reynald Affeldt, Kazuhiko Sakaguchi
An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing. J. Formaliz. Reason. 7 (1) (2014)