Functional C
@inproceedings{Hartel1997FunctionalC, title={Functional C}, author={Pieter H. Hartel and Henk L. Muller}, year={1997} }
From the Publisher:
student has already learnt how to formulate algorithms in a functional style. By using this as a starting point, the student will become a better C programmer, capable of writing programs that are easier to comprehend, maintain and that avoid common errors and pitfalls.
Features:
provides a deep understanding of the differences between functional and imperative programming problem solving techniques used throughout with a wealth of examples and exercises uses elementary…
14 Citations
A Functional Paradigm using the C Language for Teaching Programming for Engineers
- Computer Science2018 XLIV Latin American Computer Conference (CLEI)
- 2018
The contributed programming techniques are born from the experience of teaching Functional Programming, embodied in headers that enhance depth and rigorousness in the development of high quality code.
Using Functional Paradigms in an Imperative Language
- Computer Science
- 1998
This paper is a report on work in progress on taking ideas from the functional paradigm and applying them at an early stage to imperative language programming in an effort to improve the students' understanding of programming paradigms and facilitate an easier transition to functional programming languages.
The Functional “C” experience
- EducationJournal of Functional Programming
- 2004
This paper summarises the essence of the approach, which is based on program transformation, and presents the experience teaching functional C at the Universities of Southampton and Bristol.
Simplifying the analysis of c++ programs
- Computer Science
- 2013
Two techniques are offered, one based on refining the type system of a language and the other on abstract interpretation, which allow developers to statically ensure or verify various run-time properties of their programs without having to deal with the full language semantics or even the abstract syntax tree of a program.
Programming by Numbers: A Programming Method for Novices
- Computer Science, EducationComput. J.
- 2000
The idea of `Programming by Numbers', which breaks some of the programming process down into smaller steps, giving such students a way into the process of Programming in the Small, is introduced.
Design and evaluation of an alternative programming paradigms course
- Computer ScienceTelematics Informatics
- 2017
Teaching monadic algorithms to first-year students ∗
- Computer Science
- 2009
It is claimed that imperative concepts such as sequencing, repetition, mutable state, and I/O can be taught to first-year students by using the monadic facilities of a functional language such as Haskell.
Transactional data structures
- Computer Science
- 2011
Transactional Data Structures are introduced which are data structuresthat permit access to past versions, although not all accesses succeed and form the basis of a concurrent programming solution that supports database type transactions in memory.
Open pattern matching for C++
- Computer ScienceSPLASH '13
- 2013
This work presents functional-style pattern matching for C++ implemented as a library, called Mach7, that can be stored in variables, passed among functions, and allow the use of open class hierarchies.
Recommendations for the classification of diseases as CFTR-related disorders.
- Medicine, BiologyJournal of cystic fibrosis : official journal of the European Cystic Fibrosis Society
- 2011
References
SHOWING 1-10 OF 14 REFERENCES
Elements of ML programming
- Computer Science
- 1994
A perspective on ML and SML/NJ and how to program with Datatypes and Solutions to Selected Exercises are presented.
ML for the working programmer
- Computer Science
- 1991
In teaching the methods of functional programming, how to program in Standard ML, a functional language recently developed at Edinburgh University, the author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures.
The internet worm program: an analysis
- Computer ScienceCCRV
- 1989
The paper contains a review of the security flaws exploited by the worm program, and gives some recommendations on how to eliminate or mitigate their future use.
The Art of Computer Systems Performance Analysis
- Computer ScienceInt. CMG Conference
- 1990
The authors' goal is always to offer you an assortment of cost-free ebooks too as aid resolve your troubles.
Compilers: Principles, Techniques, and Tools
- Computer ScienceAddison-Wesley series in computer science / World student series edition
- 1986
This book discusses the design of a Code Generator, the role of the Lexical Analyzer, and other topics related to code generation and optimization.
Computer Architecture: A Quantitative Approach
- Computer Science
- 1969
This best-selling title, considered for over a decade to be essential reading for every serious student and practitioner of computer design, has been updated throughout to address the most important…
Algorithms
- Computer Science
- 1992
Most of the articles appearing in this column are oriented toward Common Lisp. However, a wider community of Lisp dialects still exists. One that is of particular interest is GNU Emacs Lisp---the…
The C programming language - ANSI C - Second edition
- Economics, Education
- 1988
This paper presents a meta-modelling framework that automates the very labor-intensive and therefore time-heavy and expensive process of computer programming called “rograming”.
[서평]「Applied Cryptography」
- Computer Science, Mathematics
- 1997
The objective of this paper is to give a comprehensive introduction to applied cryptography with an engineer or computer scientist in mind. The emphasis is on the knowledge needed to create practical…