Refal
From MaRDI portal
Software:39349
No author found.
Related Items (41)
A regeneration scheme for generating extensions ⋮ Verification as a parameterized testing (experiments with the SCP4 supercompiler) ⋮ Proving properties of functional programs by equality saturation ⋮ Supercompilation for Martin-Lof's type theory ⋮ Rewriting techniques for program synthesis ⋮ Annotated bibliography on partial evaluation and mixed computation ⋮ Mixed computation of Prolog programs ⋮ On the transformation of logic programs with instantiation based computation rules ⋮ Unnamed Item ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ Flow analysis of lazy higher-order functional programs ⋮ Horn Clause Solvers for Program Verification ⋮ Methods and programs for generating random graphs ⋮ Closed-form upper bounds in static cost analysis ⋮ A survey of scheduling methods for multiprocessor systems ⋮ Multiple data structuring ⋮ Mixed computation and compilation: New approaches to old problems ⋮ Reverse universal resolving algorithm and inverse driving ⋮ NP-completeness conditions for consistency verification of some types of systems of linear Diophantine dis-equations ⋮ REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Intermediate representation of programs with type specification based on pattern matching ⋮ Mixed computation: potential applications and problems for study ⋮ Static semantics, types, and binding time analysis ⋮ Proving the correctness of recursion-based automatic program transformations ⋮ On one application of computations with oracle ⋮ Higher-level supercompilation as a metasystem transition ⋮ The narrowing-driven approach to functional logic program specialization ⋮ Program transformation system based on generalized partial computation ⋮ Interleaving Symbolic Execution and Partial Evaluation ⋮ Ping-pong protocols as prefix grammars: modelling and verification via program transformation ⋮ Semantics of algorithmic languages ⋮ On difference schemes of third order accuracy for nonlinear hyperbolic systems ⋮ An improved reductant calculus using fuzzy partial evaluation techniques ⋮ Unnamed Item ⋮ Extending a partial evaluator which supports separate compilation ⋮ Problem-oriented verification system and its application to linear algebra programs ⋮ Essence of generalized partial computation ⋮ Reflection in conditional rewriting logic ⋮ Derivation of efficient logic programs by specialization and reduction of nondeterminism
This page was built for software: Refal
