Refal

Refal is a functional programming language in which computation is driven by pattern matching on textual and symbolic information.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 42 articles , 2 standard articles )

Showing results 1 to 20 of 42.
Sorted by year (citations)

1 2 3 next

  1. Goshev, Vladimir Andreevich: Implementation of multithreading in Refal-5e machine (2016) ioport
  2. Kosovskiĭ, N. K.; Kosovskaya, T. M.; Kosovskiĭ, N. N.: NP-completeness conditions for consistency verification of some types of systems of linear Diophantine dis-equations (2016)
  3. Nepeivoda, Antonina: Ping-pong protocols as prefix grammars: modelling and verification via program transformation (2016)
  4. Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey: Horn clause solvers for program verification (2015)
  5. Grechanik, S. A.: Proving properties of functional programs by equality saturation (2015)
  6. Klyuchnikov, I. G.; Romanenko, S. A.: Supercompilation for Martin-Lof’s type theory (2015)
  7. Klyuchnikov, I. G.; Romanenko, S. A.: Higher-level supercompilation as a metasystem transition (2012)
  8. Pécseli, Thomas: Reverse universal resolving algorithm and inverse driving (2012)
  9. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán: Closed-form upper bounds in static cost analysis (2011)
  10. Bubel, Richard; Hähnle, Reiner; Ji, Ran: Interleaving symbolic execution and partial evaluation (2010)
  11. Lisitsa, A. P.; Nemytykh, A. P.: On one application of computations with oracle (2010)
  12. Julián, Pascual; Moreno, Ginés; Penabad, Jaime: An improved reductant calculus using fuzzy partial evaluation techniques (2009)
  13. Lisitsa, Alexei; Nemytykh, Andrei P.: Reachability analysis in verification via supercompilation (2008)
  14. Clavel, Manuel; Meseguer, José; Palomino, Miguel: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (2007)
  15. Jones, Neil D.; Andersen, Nils: Flow analysis of lazy higher-order functional programs (2007)
  16. Lisitsa, A. P.; Nemytykh, A. P.: Verification as a parameterized testing (experiments with the SCP4 supercompiler) (2007)
  17. Skopin, I. N.: Multiple data structuring (2006)
  18. Pettorossi, Alberto; Proietti, Maurizio; Renault, Sophie: Derivation of efficient logic programs by specialization and reduction of nondeterminism (2005)
  19. Albert, Elvira; Vidal, Germán: The narrowing-driven approach to functional logic program specialization (2002)
  20. Clavel, Manuel; Meseguer, José: Reflection in conditional rewriting logic (2002)

1 2 3 next