• Corpus ID: 36728690

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… 
A Functional Paradigm using the C Language for Teaching Programming for Engineers
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
Teaching monadic algorithms to first-year students ∗
TLDR
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
TLDR
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++
TLDR
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.
...
...

References

SHOWING 1-10 OF 14 REFERENCES
Elements of ML programming
TLDR
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
TLDR
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
TLDR
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
  • Ray Jain
  • Computer Science
    Int. CMG Conference
  • 1990
TLDR
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
  • A. Aho, R. Sethi, J. Ullman
  • Computer Science
    Addison-Wesley series in computer science / World student series edition
  • 1986
TLDR
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
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
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
TLDR
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”.
Algorithm 64: Quicksort
[서평]「Applied Cryptography」
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
...
...