Zobrazeno 1 - 10
of 1 713
pro vyhledávání: '"Miller, Dale"'
Autor:
Miller, Dale, Momigliano, Alberto
Property-based testing (PBT) is a technique for validating code against an executable specification by automatically generating test-data. We present a proof-theoretical reconstruction of this style of testing for relational specifications and employ
Externí odkaz:
http://arxiv.org/abs/2406.10053
Autor:
Manighetti, Matteo, Miller, Dale
Formal theories of arithmetic have traditionally been based on either classical or intuitionistic logic, leading to the development of Peano and Heyting arithmetic, respectively. We propose a use $\mu$MALL as a formal theory of arithmetic based on li
Externí odkaz:
http://arxiv.org/abs/2312.13634
Autor:
Miller, Dale
Publikováno v:
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), Jun 2023, Boston, United States. pp.1-11
Gentzen designed his natural deduction proof system to ``come as close as possible to actual reasoning.'' Indeed, natural deduction proofs closely resemble the static structure of logical reasoning in mathematical arguments. However, different featur
Externí odkaz:
http://arxiv.org/abs/2307.12704
Autor:
Miller, Dale
Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researchers have been using this foundat
Externí odkaz:
http://arxiv.org/abs/2109.01483
Autor:
Miller, Dale Jonathan
The influences of school reform on the instructional practices of a seventh-grade language arts teacher was the focus of this study. This study was conducted in three phases: an ethnographic study, a pilot study, and a case study. The ethnography foc
Externí odkaz:
http://hdl.handle.net/10919/27074
http://scholar.lib.vt.edu/theses/available/etd-042099-173008/
http://scholar.lib.vt.edu/theses/available/etd-042099-173008/