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

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

1 2 3 next

  1. Hamilton, G. W.: Distilling programs to prove termination (2020)
  2. Krustev, Dimitur Nikolaev: Optimizing program size using multi-result supercompilation (2020)
  3. Vasenin, V. A.; Krivchikov, M. A.: Intermediate representation of programs with type specification based on pattern matching (2020)
  4. Goshev, Vladimir Andreevich: Implementation of multithreading in Refal-5e machine (2016) ioport
  5. 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)
  6. Nepeivoda, Antonina: Ping-pong protocols as prefix grammars: modelling and verification via program transformation (2016)
  7. Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey: Horn clause solvers for program verification (2015)
  8. Grechanik, S. A.: Proving properties of functional programs by equality saturation (2015)
  9. Klyuchnikov, I. G.; Romanenko, S. A.: Supercompilation for Martin-Lof’s type theory (2015)
  10. Klyuchnikov, I. G.; Romanenko, S. A.: Higher-level supercompilation as a metasystem transition (2012)
  11. Pécseli, Thomas: Reverse universal resolving algorithm and inverse driving (2012)
  12. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán: Closed-form upper bounds in static cost analysis (2011)
  13. Bubel, Richard; Hähnle, Reiner; Ji, Ran: Interleaving symbolic execution and partial evaluation (2010)
  14. Lisitsa, A. P.; Nemytykh, A. P.: On one application of computations with oracle (2010)
  15. Julián, Pascual; Moreno, Ginés; Penabad, Jaime: An improved reductant calculus using fuzzy partial evaluation techniques (2009)
  16. Lisitsa, Alexei; Nemytykh, Andrei P.: Reachability analysis in verification via supercompilation (2008)
  17. Clavel, Manuel; Meseguer, José; Palomino, Miguel: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (2007)
  18. Jones, Neil D.; Andersen, Nils: Flow analysis of lazy higher-order functional programs (2007)
  19. Lisitsa, A. P.; Nemytykh, A. P.: Verification as a parameterized testing (experiments with the SCP4 supercompiler) (2007)
  20. Skopin, I. N.: Multiple data structuring (2006)

1 2 3 next