14 citations · 37 across the 13 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
Sohei Ito, Makoto Tatsuta
Formal reasoning about inductively defined relations and structures is widely recognized not only for its mathematical interest but also for its importance in computer science, and…
cs.PL2026
A Core Calculus for Type-safe Product Lines of C Programs
Ferruccio Damiani, Daisuke Kimura, Luca Paolini +1
In this paper we: (1) propose Lightweight C (LC), namely a core calculus that formalizes a proper subset of the ANSI C without preprocessor directives; (2) define Colored LC (CLC),…