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

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

1 2 3 next

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

1 2 3 next