Refal
From MaRDI portal
Cited in
(51)- An improved reductant calculus using fuzzy partial evaluation techniques
- Annotated bibliography on partial evaluation and mixed computation
- Mixed computation of Prolog programs
- On the transformation of logic programs with instantiation based computation rules
- Methods and programs for generating random graphs
- A survey of scheduling methods for multiprocessor systems
- Mixed computation: potential applications and problems for study
- Static semantics, types, and binding time analysis
- COSTA
- Problem-oriented verification system and its application to linear algebra programs
- WSDFU
- BABEL
- Extending a partial evaluator which supports separate compilation
- Reflection in conditional rewriting logic
- ECCE
- NP-completeness conditions for consistency verification of some types of systems of linear Diophantine dis-equations
- On one application of computations with oracle
- Higher-level supercompilation as a metasystem transition
- DPPD
- Intermediate representation of programs with type specification based on pattern matching
- Verification as a parameterized testing (experiments with the SCP4 supercompiler)
- Closed-form upper bounds in static cost analysis
- Multiple data structuring
- On difference schemes of third order accuracy for nonlinear hyperbolic systems
- A regeneration scheme for generating extensions
- Horn clause solvers for program verification
- Proving properties of functional programs by equality saturation
- Supercompilation for Martin-Lof's type theory
- FRIL
- Interleaving symbolic execution and partial evaluation
- Graphsc
- Word
- REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION
- scientific article; zbMATH DE number 1022228 (Why is no real title available?)
- Reverse universal resolving algorithm and inverse driving
- SEMANOL
- scientific article; zbMATH DE number 1923053 (Why is no real title available?)
- scientific article; zbMATH DE number 7453195 (Why is no real title available?)
- scientific article; zbMATH DE number 7453196 (Why is no real title available?)
- Rewriting techniques for program synthesis
- MQTT
- The narrowing-driven approach to functional logic program specialization
- Program transformation system based on generalized partial computation
- Proving the correctness of recursion-based automatic program transformations
- Ping-pong protocols as prefix grammars: modelling and verification via program transformation
- Semantics of algorithmic languages
- Essence of generalized partial computation
- Derivation of efficient logic programs by specialization and reduction of nondeterminism
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Flow analysis of lazy higher-order functional programs
- Mixed computation and compilation: New approaches to old problems
This page was built for software: Refal
