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