Corpus ID: 36728690

Functional C

@inproceedings{Hartel1997FunctionalC,
  title={Functional C},
  author={P. Hartel and H. 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… Expand
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. Expand
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. Expand
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. Expand
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. Expand
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. Expand
Design and evaluation of an alternative programming paradigms course
TLDR
This work presents the approach followed in the design of that course to teach object-oriented, functional, concurrent and parallel programming to second year undergraduate students with basic knowledge of Java, and reveals that the proposed course has a strong influence on the achievement of the expected learning outcomes. Expand
Teaching monadic algorithms to first-year students ∗
The main claim of this paper is 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 functionalExpand
Open pattern matching for C++
TLDR
This work presents functional-style pattern matching for C++ implemented as a library, called Mach71, which allows mapping functional code based on pattern matching directly into C++ and produces code that is only a few percent slower than hand-optimized C++ code. Expand
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. Expand
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. Expand
...
1
2
...

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. Expand
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. Expand
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. Expand
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. Expand
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. Expand
PIC—a language for typesetting graphics
TLDR
This paper describes PIC, with primary emphasis on those aspects of the language that make it easy to use. Expand
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 importantExpand
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---theExpand
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”. Expand
Algorithm 64: Quicksort
...
1
2
...