Results 21 to 30 of about 16,571,812 (297)
Amortised resource analysis with separation logic [PDF]
, 2011 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core +4 more sources
Higher-Order Logic Programming [PDF]
, 1986 Modern programming languages such as Lisp, Scheme and ML permit procedures to be encapsulated within data in such a way that they can subsequently be retrieved and used to guide computations. The languages that provide this kind of an ability are usually based on the functional programming paradigm, and the procedures that can be encapsulated in them ...
Dale Miller 0001, Gopalan Nadathur
openaire +1 more source
Mathematics, 2022 One of the main problems in representing information in the form of nonsystematic logic is the lack of flexibility, which leads to potential overfitting.
Yuan Gao +6 more
doaj +1 more source
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming. The former approach uses classical domain theoretic tools while the latter builds on a fixed-point construction defined on
Angelos Charalambidis +2 more
doaj +1 more source
Formal verification of Matrix based MATLAB models using interactive theorem proving [PDF]
PeerJ Computer Science, 2021 MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze systems in various domains of engineering and sciences.
Ayesha Gauhar +4 more
doaj +2 more sources
Second-order logic : ontological and epistemological problems [PDF]
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core +2 more sources
JTAM (Jurnal Teori dan Aplikasi Matematika), 2023 Higher-order thinking skills are skills that are an important aspect of teaching and learning mathematics. Mathematics and culture have a very close relationship, so the development and application of mathematical concepts in the learning process must be
Sri Subarinah +3 more
doaj +1 more source
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic [PDF]
, 2022 Decades of work have gone into developing efficient proof calculi, data structures, algorithms, and heuristics for first-order automatic theorem proving. Higher-order provers lag behind in terms of efficiency.
Cruanes, Simon +8 more
core +1 more source
A relational logic for higher-order programs [PDF]
Proceedings of the ACM on Programming Languages, 2017 Relational program verification is a variant of program verification where one can reason about two programs and as a special case about two executions of a single program on different inputs. Relational program verification can be used for reasoning about a broad range of properties, including equivalence and refinement, and specialized notions such ...
Alejandro Aguirre 0001 +4 more
openaire +6 more sources
Formal analysis of 2D image processing filters using higher-order logic theorem proving
EURASIP Journal on Advances in Signal Processing, 2022 Two-dimensional (2D) image processing systems are concerned with the processing of the images represented as 2D arrays and are widely used in medicine, transportation and many other autonomous systems.
Adnan Rashid, Sa’ed Abed, Osman Hasan
doaj +1 more source