Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Compilateurs (Programmes d'ordinateur) --- Compilatoren (Computerprogramma's) --- Compilers (Computer programs) --- Functional programming languages --- Functionele programmeertalen --- Langages de programmation fonctionnels --- Parallel programming (Computer science) --- Parallelle programmering (Informatica) --- Programmation parallèle (Informatique) --- Functional programming languages.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995. The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction, computer architecture, computer graphics, mathematics, problem solving and the semantics of programming languages.

Functional programming languages --- Computer-assisted instruction --- Congresses. --- -Functional programming languages --- -681.3*D11 --- 681.3*K31 --- Programming languages (Electronic computers) --- CAI (Computer-assisted instruction) --- Computer-aided instruction --- Computer-assisted learning --- Computer based instruction --- Computer-enhanced learning --- Electronic data processing in programmed instruction --- ILSs (Integrated learning systems) --- Integrated learning systems --- Microcomputer-aided instruction --- Microcomputer-assisted instruction --- Microcomputer-assisted learning --- Microcomputer-based instruction --- Teaching --- Education --- Educational technology --- Programmed instruction --- Telematics --- Congresses --- Applicative (functional) programming --- Computer uses in education: computer-assisted instruction; CAI; computer-managed instruction; CMI --- Data processing --- 681.3*K31 Computer uses in education: computer-assisted instruction; CAI; computer-managed instruction; CMI --- 681.3*D11 Applicative (functional) programming --- 681.3*D11 --- Computer science. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Functional programming languages - Congresses. --- Computer-assisted instruction - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

COMMON LISP (Computer program language) --- COMMON LISP (Langage de programmation) --- COMMON LISP (Programmeertaal) --- Common Lisp (Langage de programmation) --- 681.3*D32 --- Functional programming languages --- Object-oriented programming languages --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 submitted. A number of themes emerge. One is a growing interest in types: powerful type systems or type checkers supporting overloading, coercion, dynamic types, and incremental inference; linear types to optimize storage, and polymorphic types to optimize semantic analysis. The hot topic of partial evaluation is well represented: techniques for higher-order binding-time analysis, assuring termination of partial evaluation, and improving the residual programs a partial evaluator generates. The thorny problem of manipulating state in functional languages is addressed: one paper even argues that parallel programs with side-effects can be "more declarative" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed.

Computer architecture --- -Functional programming languages --- -681.3*C0 --- 681.3*D11 --- 681.3*D31 --- 681.3*D34 --- Programming languages (Electronic computers) --- Architecture, Computer --- Congresses --- Computerwetenschap--?*C0 --- Applicative (functional) programming --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D11 Applicative (functional) programming --- Functional programming languages --- 681.3*C0 --- Functional programming languages - Congresses. --- Computer architecture - Congresses. --- Computer network architectures. --- Computer science. --- Logic design. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Processor Architectures. --- Programming Techniques. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book investigates the problem of translating relational queries into iterative programs using methods and techniques from the areas of functional programming and program transformation. The first part presents two algorithms which generate iterative programs from algebra-based query specifications. While the first algorithm is based on the transformation of recursive programs, the second uses functional expressions to generate the final iterative form. In the second part the same techniques generate efficient programs for the evaluation of aggregate functions in relational database systems. In several steps, programs which perform aggregation after sorting, are transformed into programs which perform aggregation while sorting. The third part then investigates the Lisp-dialect T as a possible implementation language for database systems. The book describes all transformations by transformation rules. The reader can expect a formal treatment of the proposed transformations which provide the basis for proving the correctness of the algorithms and, at the same time, give important insight into the techniques and methods developed for the transformation. Additionally, the high-level, detailed description of the algorithms immediately leads to their implementation and allows their extension to meet new requirements. Overall, the use of transformation rules and transformation methods introduces a new approach to query processing in relational database systems.

Artificial intelligence. Robotics. Simulation. Graphics --- Information systems --- 681.3*D11 --- 681.3*H24 --- 681.3*I22 --- Applicative (functional) programming --- Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*H24 Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*D11 Applicative (functional) programming --- Database management. --- Computer science. --- Information Systems. --- Database Management. --- Computer Applications. --- Management of Computing and Information Systems. --- Informatics --- Science --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Electronic digital computers. --- Relational databases. --- Functional programming languages --- Programming