Results 31 to 40 of about 24,130 (303)
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
Imperative functional programs that explain their work [PDF]
Proceedings of the ACM on Programming Languages, 2017 Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work, where dynamic slicing was defined for pure higher-order functional programs as a Galois connection between lattices of partial inputs and partial outputs. We extend this approach to
Wilmer Ricciotti +3 more
openaire +3 more sources
Learners Programming Language a Helping System for Introductory Programming Courses [PDF]
Mehran University Research Journal of Engineering and Technology, 2016 Programming is the core of computer science and due to this momentousness a special care is taken in designing the curriculum of programming courses. A substantial work has been conducted on the definition of programming courses, yet the introductory ...
MUHAMMAD SHUMAIL NAVEED +2 more
doaj
IMP with exceptions over decorated logic [PDF]
Discrete Mathematics & Theoretical Computer Science, 2018 In this paper, we facilitate the reasoning about impure programming languages, by annotating terms with “decorations”that describe what computational (side) effect evaluation of a term may involve.
Burak Ekici
doaj +1 more source
Imperative Program Transformation by Rewriting [PDF]
, 2001 We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expressions with simple patterns to matching blocks in a control flow graph. In order to express the complex restrictions on the applicability of these rewrites we add temporal logic side ...
David Lacey, Oege de Moor
openaire +1 more source
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy [PDF]
Logical Methods in Computer Science, 2018 Structured reversible flowchart languages is a class of imperative reversible programming languages allowing for a simple diagrammatic representation of control flow built from a limited set of control flow structures.
Robert Glück, Robin Kaarsgaard
doaj +1 more source
The Influence of the Developed Specific Multi-Paradigm Programming in Digital Logic Education
Mathematics, 2021 This article introduces the possible usage of the developed programming discourse that can be used to support training in the digital logic area. The discourse merges several programming paradigms into one solution.
Lukas Hapl, Hashim Habiballa
doaj +1 more source
Estimation Models Generation using Linear Genetic Programming
CLEI Electronic Journal, 2009 The use of decision rules and estimation techniques is increasingly common for decision mak- ing. In recent years studies were conducted which applies Genetic Programming (GP) to obtain rules to make predictions.
Javier Martínez Canillas +2 more
doaj +1 more source
An evaluation framework and comparative analysis of the widely used first programming languages. [PDF]
PLoS ONE, 2014 Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL).
Muhammad Shoaib Farooq +4 more
doaj +1 more source
Wybe: Design of a Programming Language
SoftwareWe propose a set of design principles to guide the design of a programming language intended for general, practical use. These principles center around supporting the development of robust programs, supporting independent development, the evolution of ...
Peter Schachte
doaj +1 more source