[CPP'25] Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems

[CPP'25] Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems

Share:

Similar Tracks

[CPP'25] Machine Checked Proofs and Programs in Algebraic Combinatorics ACM SIGPLAN

[CPP'25] The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic ACM SIGPLAN

[CPP'25] An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting ACM SIGPLAN

Naomi Klein on Trump, Musk, Far Right & "End Times Fascism" Democracy Now!

19 - Jimmy Weber (Institute of Neuroinformatics, University of Zurich and ETH Zurich) Neuro Inspired Computational Elements Conference

But what is a convolution? 3Blue1Brown

[CPP'25] Leakage-Free Probabilistic Jasmin Programs ACM SIGPLAN

[CPP'25] Verified and Efficient Matching of Regular Expressions with Lookaround ACM SIGPLAN

Inside Micron Taiwan’s Semiconductor Factory | Taiwan’s Mega Factories EP1 TaiwanPlus Docs

[CPP'25] An Isabelle/HOL Framework for Synthetic Completeness Proofs ACM SIGPLAN

Static Program Analysis for Security | Cambridge IB Tech Talks Zeyu Zhang

NMR Spectroscopy for Visual Learners Chemistorian

The mind behind Linux | Linus Torvalds | TED TED

[CPP'25] Split Decisions: Explicit Contexts for Substructural Languages ACM SIGPLAN

[CPP'25] Formalizing the One-way to Hiding Theorem ACM SIGPLAN

[CPP'25] Monadic interpreters for concurrent memory models: Executable semantics of a concurrent(…) ACM SIGPLAN

Harvard Professor Explains Algorithms in 5 Levels of Difficulty | WIRED WIRED

[CPP'25] Prospects for Computer Formalization of Infinite-Dimensional Category Theory ACM SIGPLAN

Transformers (how LLMs work) explained visually | DL5 3Blue1Brown