Listing 1 - 5 of 5 |
Sort by
|
Choose an application
Programming --- Functional programming languages --- 681.3*D34 --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- Functional programming languages. --- 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- Programming languages (Electronic computers) --- Electronic digital computers programming --- Computer programming.
Choose an application
Programming --- Functional programming languages --- Langages de programmation fonctionnels --- 681.3*D11 --- 681.3*D32 --- Applicative (functional) programming --- 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) --- Functional programming languages. --- 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) --- 681.3*D11 Applicative (functional) programming --- Programming languages (Electronic computers) --- Functional programming
Choose an application
Electronic digital computers --- Functional programming languages --- Programmation des ordinateurs --- Langages de programmation fonctionnels --- Programming --- Functional programming (Computer science) --- 681.3*D11 --- Programming languages (Electronic computers) --- Computer programming --- Applicative (functional) programming --- 681.3*D11 Applicative (functional) programming --- Graph Reduction --- Architecture --- Program Transformation --- Fp --- Hope --- Functionnal Programming
Choose an application
Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- COMMON LISP (Computer program language) --- 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) --- COMMON LISP (Computer program language). --- 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) --- Common Lisp (Langage de programmation)
Choose an application
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
Listing 1 - 5 of 5 |
Sort by
|