Results 81 to 90 of about 11,037,600 (376)
Smart Contract Design Pattern for Processing Logically Coherent Transaction Types
Applied SciencesRecent research shows that the source code of smart contracts is often cloned. The processing of related types of transactions in blockchain networks results in the implementation of many similar smart contracts.
Tomasz Górski
doaj +1 more source
From Principles to Practice with Class in the First Year [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We propose a bridge between functional and object-oriented programming in the first-year curriculum. Traditionally, curricula that begin with functional programming transition to a professional, usually object-oriented, language in the second course ...
Sam Tobin-Hochstadt, David Van Horn
doaj +1 more source
Purely Functional Structured Programming [PDF]
arXiv, 2010 The idea of functional programming has played a big role in shaping today's landscape of mainstream programming languages. Another concept that dominates the current programming style is Dijkstra's structured programming. Both concepts have been successfully married, for example in the programming language Scala. This paper proposes how the same can be
arxiv
State diagrams of functional programs [PDF]
arXiv, 2020 In the paper we introduce graphical objects (called state diagrams) related to functional programs. It is shown that state diagrams of functional programs can be used to solve problems of verification of functional programs. The proposed approach is illustrated by an example of verification of a sorting program.
arxiv
Strategic polymorphism requires just two combinators! [PDF]
, 2002 In previous work, we introduced the notion of functional strategies: first-class generic functions that can traverse terms of any type while mixing uniform and type-specific behaviour.
Laemmel, Ralf, Visser, Joost
core +2 more sources
Autophagy in cancer and protein conformational disorders
FEBS Letters, EarlyView.Autophagy plays a crucial role in numerous biological processes, including protein and organelle quality control, development, immunity, and metabolism. Hence, dysregulation or mutations in autophagy‐related genes have been implicated in a wide range of human diseases.
Sergio Attanasio
wiley +1 more source
A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development [PDF]
Journal of Systemics, Cybernetics and Informatics, 2014 Functional programming has traditionally been considered elegant and powerful, but also somewhat impractical for ordinary computing. Proponents of functional programming claim that the evolution of functional languages makes their use feasible in many ...
Scott Frame, John W. Coffey
doaj
On representation of simulation time in functional programming style
Труды Института системного программирования РАН, 2019 Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create better and more reliable software that is easy to reason about (both manually and automatically)
D. V. Buzdalov +2 more
doaj +1 more source
Singular and Plural Functions for Functional Logic Programming
, 2012 Functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CS's) as programs in order to define non-strict non-determi-nistic functions.
ADRIÁN RIESCO +35 more
core +1 more source
Functional programs that explain their work [PDF]
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012 We present techniques that enable higher-order functional computations to "explain" their work by answering questions about how parts of their output were calculated. As explanations, we consider the traditional notion of program slices, which we show can be inadequate, and propose a new notion: trace slices.
Umut A. Acar +3 more
openaire +2 more sources