Results 21 to 30 of about 11,037,600 (376)
Implementing fault tolerant applications using reflective object-oriented programming [PDF]
, 1995 : Shows how reflection and object-oriented programming can be used to ease the implementation of classical fault tolerance mechanisms in distributed applications.
Fabre, Jean-Charles +4 more
core +1 more source
Automatic diagnosis and correction of logical errors for functional programming assignments
Proc. ACM Program. Lang., 2018 We present FixML, a system for automatically generating feedback on logical errors in functional programming assignments. As functional languages have been gaining popularity, the number of students enrolling functional programming courses has increased ...
Junho Lee +3 more
semanticscholar +1 more source
Object-Oriented Programming, Functional Programming and R [PDF]
arXiv.org, 2014 This paper reviews some programming techniques in R that have proved useful, particularly for substantial projects. These include several versions of object-oriented programming, used in a large number of R packages.
J. Chambers
semanticscholar +1 more source
Functional programming for modular Bayesian inference
Proc. ACM Program. Lang., 2018 We present an architectural design of a library for Bayesian modelling and inference in modern functional programming languages. The novel aspect of our approach are modular implementations of existing state-of-the-art inference algorithms.
A. Scibior +2 more
semanticscholar +1 more source
The modified deep first search algorithm: functional implementation [PDF]
Computer Science Journal of MoldovaThe article includes the modified deep first search algorithm (DFS) that allows, at a single traversal of a graph, to check its connectivity/biconnectivity, highlight the cut vertices, and build the spanning tree, the biconnected components, and the ...
Constantin Ciubotaru
doaj +1 more source
A Semantic Framework to Debug Parallel Lazy Functional Languages
Mathematics, 2020 It is not easy to debug lazy functional programs. The reason is that laziness and higher-order complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much harder ...
Alberto de la Encina +3 more
doaj +1 more source
Foundations of Total Functional Data-Flow Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics.
Baltasar Trancón y Widemann +1 more
doaj +1 more source
Functional programming for compiling and decompiling computer-aided design
Proc. ACM Program. Lang., 2018 Desktop-manufacturing techniques like 3D printing are increasingly popular because they reduce the cost and complexity of producing customized objects on demand. Unfortunately, the vibrant communities of early adopters, often referred to as "makers," are
Chandrakana Nandi +5 more
semanticscholar +1 more source
The Lean 4 Theorem Prover and Programming Language
CADE, 2021 Lean 4 is a reimplementation of the Lean interactive theorem prover (ITP) in Lean itself. It addresses many shortcomings of the previous versions and contains many new features.
L. D. Moura, Sebastian Ullrich
semanticscholar +1 more source
On the Equivalence Between CMC and TIM [PDF]
, 1994 In this paper we present the equivalence between TIM, a machine developed to implement lazy functional programming languages, and the set of Categorical Multi-Combinators, a rewriting system developed with similar aims.
Jones, Simon L. Peyton +2 more
core +1 more source