Lecturas compartidas el 9 de marzo de 2024
Lecturas sobre Isabelle/HOL, ACL2, Haskell y programación inductiva.
Buenos días
Las lecturas compartidas en Mastodon el 9 de marzo de 2024 son
Operational semantics formally proven in HOL-CSP. ~ Benoît Ballenghien, Burkhart Wolff. #ITP #IsabelleHOL
Wieferich–Kempner theorem. ~ Jamie Chen. #ITP #IsabelleHOL #Math
Verified QBF solving. ~ Axel Bergström, Tjark Weber. #ITP #IsabelleHOL
Formal verification of booth radix-8 and radix-16 multipliers. ~ Mertcan Temel. #FormalVerification #ACL2
VeSCMul: Verified implementation of S-C-rewriting for multiplier verification. ~ Mertcan Temel. #FormalVerification #ACL2
Let a thousand flowers bloom (An algebraic representation for edge graphs). ~ Jack Liell-Cocka, Tom Schrijvers. #Haskell #FunctionalProgramming
Inductive programming meets the real world (Inductive programming can liberate users from performing tedious and repetitive tasks). ~ Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, and Benjamin Zorn. #InductiveProgramming #ILP #IFP
También están en GitHub.
Saludos, José A.
"Hay que apartar de nosotros el mal gusto de querer coincidir con muchos." ~ Friedrich Nietzsche (1844-1900).
