the proceedings contain 29 papers. the special focus in this conference is on Compiler Construction. the topics include: Action transformations in the ACTRESS compiler generator;an overview of door attribute grammars;...
ISBN:
(纸本)9783662466629
the proceedings contain 29 papers. the special focus in this conference is on Compiler Construction. the topics include: Action transformations in the ACTRESS compiler generator;an overview of door attribute grammars;coupling evaluators for attribute coupled grammars;towards the global optimization of functionallogic programs;efficient organization of control structures in distributed implementations;implementing 2DT on a multiprocessor;global code selection for directed acyclic graphs;compiling nested loops for limited connectivity VLIWs;delayed exceptions — speculative execution of trapping instructions;a suite of analysis tools based on a general purpose abstract interpreter;flow grammars — a flow analysis methodology;provable correctness of prototype interpreters in LDL;developing efficient interpreters based on formal language specifications;generating an efficient compiler for a data parallel language from a denotational specification;towards provably correct code generation for a hard real-time programming language;supporting array dependence testing for an optimizing/parallelizing c compiler;processing array statements and procedure interfaces in the PREPARE high performance Fortran compiler;a practical approach to the symbolic debugging of parallelized code;reducing the cost of data flow analysis by congruence partitioning;interprocedural constant propagation using dependence graphs and a data-flow model;solving demand versions of interprocedural analysis problems;compile time instruction cache optimizations and a framework for scheduling across basic blocks.
the proceedings contain 33 papers. the special focus in this conference is on programming Language Implementation and logicprogramming. the topics include: Executable specifications for language implementation;avoidi...
ISBN:
(纸本)9783540571865
the proceedings contain 33 papers. the special focus in this conference is on programming Language Implementation and logicprogramming. the topics include: Executable specifications for language implementation;avoiding dynamic delays in functionallogic programs;a debugging model for functionallogic programs;a conservative approach to meta-programming in constraint logicprogramming;the versatility of handling disjunctions as constraints;improvements in compile-time analysis for ground prolog;a new top-down parsing algorithm for left-recursive DCGs;specification and implementation of grammar couplings using attribute grammars;programming language specification and prototyping using the MAX system;flang and its implementation;efficient lazy narrowing using demandedness analysis;a demand driven computation strategy for lazy narrowing;functionalprogramming languages withlogical variables: a linear logic view;objects with state in contextual logicprogramming;a novel method for parallel implementation of findall;a parallel implementation for AKL;inlining to reduce stack space;a WAM-based implementation of a logic language with sets;executing bounded quantifications on shared memory multiprocessors;a lattice of abstract graphs;higher-order chaotic iteration sequences;proving the correctness of compiler optimisations based on strictness analysis;abstract complexity of prolog based on WAM;development of rewriting strategies;narrowing approximations as an optimization for equational logic programs;a back end generator;selflog: language and implementation;embedding declarative subprograms into imperative constructs;stack management of runtime structures in distributed implementations and efficient register allocation for large basic blocks.
Research accomplishments in the fifth generation computer systems project over a ten year period since inception are outlined. the future of computers and information technology is discussed. the hypothesis has been t...
详细信息
Research accomplishments in the fifth generation computer systems project over a ten year period since inception are outlined. the future of computers and information technology is discussed. the hypothesis has been that parallel inference technology will provide the core for new technologies of the future. the goal was to create a parallel inference machine starting withthe study of parallel architectures based on a fifth generation kernel language, KL1, and the related operating system. the integration of logic, functional, and object oriented languages, and of programming and databases are discussed. Progress in these areas is outlined. Developments in general purpose parallel and mainframe computers are discussed. international collaboration in this project is considered.
In Flang, the functional and logic styles of programming are amalgamated. Flang also contains special tools for solving combinatorial problems of large complexity. In this paper we discuss the main results connected w...
详细信息
In several functionallogicprogramming languages, functional expressions must be evaluated before unification with another term, but this can only be done if the functional expression is ground. If the functional exp...
详细信息
We consider a novel use of inlining, where we reduce the amount of stack space consumed when a program is run. Stack space is a critical resource in functional- and logic-programming implementations, especially parall...
详细信息
the idea of introducing logical variables into functionalprogramming languages has been proposed for some years, and many concrete languages withthis feature have been developed. Recently the semantic features of th...
详细信息
Many recent proposals for the integration of functional and logicprogramming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. this paper specifies a computation strat...
详细信息
the amalgamation of object-oriented concepts into the logicprogramming paradigm represents a promising approach to the exploitation of prototyplng techniques for building complex software systems. Starting from the C...
详细信息
暂无评论