• 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.

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.

Reproduction: A New Venue for Studying Function of Adult Neurogenesis? 1

TLDR
The studies highlighted in this review illustrate the potential importance of neurogenesis in reproductive function and will provide new insights for the significance of adult Neurogenesis.

References

SHOWING 1-10 OF 15 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. AhoR. SethiJ. 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

PIC — A language for typesetting graphics

PIC is a language for specifying pictures so that they can be typeset as an integral part of a document preparation system. The basic objects in PIC are boxes, lines, arrows, circles, ellipses, arcs

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