Listing 1 - 10 of 15 | << page >> |
Sort by
|
Choose an application
Programming --- Computer architecture. Operating systems --- #TCPW:boek --- 681.3*C1 --- 681.3*D11 --- Processor architectures (Computer systems organization) --- Applicative (functional) programming --- 681.3*D11 Applicative (functional) programming --- 681.3*C1 Processor architectures (Computer systems organization) --- Computer science. --- Processor Architectures. --- Informatics --- Science
Choose an application
This volume contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987. This conference was a successor to two highly successful conferences on the same topics held at Wentworth, New Hampshire, in October 1981 and in Nancy, in September 1985. Papers were solicited on all aspects of functional languages and particularly implementation techniques for functional programming languages and computer architectures to support the efficient execution of functional programs. The contributions collected in this volume show that many issues regarding the implementation of Functional Programming Languages are now far better understood.
Programming --- Computer architecture. Operating systems --- 681.3*C1 --- 681.3*D11 --- Processor architectures (Computer systems organization) --- Applicative (functional) programming --- 681.3*D11 Applicative (functional) programming --- 681.3*C1 Processor architectures (Computer systems organization) --- Computer network architectures. --- Computer science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Processor Architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science
Choose an application
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
Programming --- systeemontwikkeling (informatica) --- Computer programming --- Electronic data processing --- #ECO:04.09:sectoren IT-technologie ICT internet --- 681.3*D11 --- 681.3*D2 --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Applicative (functional) programming --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Automation --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D11 Applicative (functional) programming --- Calculatrices numériques. Programmation. --- Elektronische rekenmachines (Digitale). Programmatie.
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
Choose an application
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.
Programming --- 681.3*D11 --- 681.3*D13 --- 681.3*D2 --- 681.3*D3 --- 681.3*F3 --- Applicative (functional) programming --- Concurrent programming --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Programming languages --- Logics and meanings of programs (Theory of computation) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D13 Concurrent programming --- 681.3*D11 Applicative (functional) programming --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- Computer science. --- Artificial intelligence. --- Programming Languages, Compilers, Interpreters. --- Artificial Intelligence. --- Programming Techniques. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science
Choose an application
Programming --- Computer programming --- Programmation (Informatique) --- Congresses --- Congrès --- 681.3*D11 --- 681.3*D31 --- 681.3*D33 --- 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} --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (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 --- Congrès --- Computer science. --- Software engineering. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Computer software engineering --- Engineering --- Informatics --- Science
Choose an application
This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS. The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems". The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.
Logic programming --- Algebraic logic --- Congresses. --- 681.3*D16 --- -Logic programming --- -681.3*D11 --- 681.3*F41 --- 681.3*I23 --- Computer programming --- Logic, Symbolic and mathematical --- Computerwetenschap--?*D16 --- Congresses --- Applicative (functional) programming --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*D11 Applicative (functional) programming --- 681.3*D11 --- Software engineering. --- Information theory. --- Computer network architectures. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- 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 --- Computer architecture --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Logic programming - Congresses --- Algebraic logic - Congresses
Choose an application
This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.
Programming languages (Electronic computers) --- Logic programming --- Congresses. --- 681.3*D16 --- -Programming languages (Electronic computers) --- -681.3*D11 --- 681.3*F31 --- 681.3*F41 --- 681.3*I22 --- Computer programming --- Computerwetenschap--?*D16 --- Congresses --- Applicative (functional) programming --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 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*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D11 Applicative (functional) programming --- 681.3*D11 --- Computer science. --- Logic design. --- Algebra --- Artificial intelligence. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Artificial Intelligence. --- Data processing. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Programming languages (Electronic computers) - Congresses. --- Logic programming - Congresses
Choose an application
Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.
Computer software --- -Software maintenance --- -681.3*D11 --- 681.3*F31 --- 681.3*F41 --- 681.3*I22 --- 681.3*I23 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*D11 Applicative (functional) programming --- Applicative (functional) programming --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Computer program maintenance --- Computer programs --- Maintenance, Software --- Computer programming --- Software reengineering --- Software, Computer --- Computer systems --- 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} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Evaluation --- -Congresses --- Congresses --- Maintenance --- Software maintenance --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- 681.3*D11 --- Evaluation&delete& --- Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Computer software - Evaluation - Congresses. --- Software maintenance - Congresses.
Listing 1 - 10 of 15 | << page >> |
Sort by
|