Results 1 to 10 of about 10,648 (267)
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming [PDF]
Scientific Reports, 2022 Inferring reliable brain-behavior associations requires synthesizing evidence from thousands of functional neuroimaging studies through meta-analysis.
Majd Abdallah +3 more
doaj +2 more sources
LNL-FPC: The Linear/Non-linear Fixpoint Calculus [PDF]
Logical Methods in Computer Science, 2021 We describe a type system with mixed linear and non-linear recursive types called LNL-FPC (the linear/non-linear fixpoint calculus). The type system supports linear typing, which enhances the safety properties of programs, but also supports non-linear ...
Bert Lindenhovius +2 more
doaj +1 more source
Compiling With Classical Connectives [PDF]
Logical Methods in Computer Science, 2020 The study of polarity in computation has revealed that an "ideal" programming language combines both call-by-value and call-by-name evaluation; the two calling conventions are each ideal for half the types in a programming language.
Paul Downen, Zena M. Ariola
doaj +1 more source
Separating Sessions Smoothly [PDF]
Logical Methods in Computer Science, 2023 This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation.
Simon Fowler +4 more
doaj +1 more source
Classical Combinatory Logic [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages.
Karim Nour
doaj +1 more source
A Three-Valued Semantics for Typed Logic Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics defined for typed programs, on the other.
João Barbosa +2 more
doaj +1 more source
A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Paisley is an extensible lightweight embedded domain-specific language for nondeterministic pattern matching in Java. Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to the Java ...
Baltasar Trancón y Widemann +1 more
doaj +1 more source
Amortised Resource Analysis with Separation Logic [PDF]
Logical Methods in Computer Science, 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 ...
Robert Atkey
doaj +1 more source
Tegal Tourism Object Selection Decision Support System Using Fuzzy Logic
IJCCS (Indonesian Journal of Computing and Cybernetics Systems), 2022 There are many agencies that have databases but are left without proper management. For example, in tourist attractions in Kota & Kab. Tegal, along with the rapid development of tourism technology, the tourism industry requires the tourism industry to ...
Dika Permana Putra +2 more
doaj +1 more source
Towards automatic Maude specifications generation from C functions
Journal of Innovation Information Technology and Application, 2023 In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj +1 more source