Sergei M. Abramov

Publication Activity (10 Years)

Years Active: 1998-2006
Publications (10 Years): 0

Publications

Sergei M. Abramov, Robert Glück, Yuri A. Klimov
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. Ershov Memorial Conference (2006)
Sergei M. Abramov, Robert Glück
The universal resolving algorithm and its correctness: inverse computation in a functional language. Sci. Comput. Program. 43 (2-3) (2002)
Sergei M. Abramov, Robert Glück
Principles of Inverse Computation and the Universal Resolving Algorithm. The Essence of Computation (2002)
Sergei M. Abramov, Robert Glück
From Standard to Non-Standard Semantics by Semantics Modifiers. Int. J. Found. Comput. Sci. 12 (2) (2001)
Sergei M. Abramov, Robert Glück
The Universal Resolving Algorithm: Inverse Computation in a Functional Language. MPC (2000)
Sergei M. Abramov, Robert Glück
Principles of Inverse Computation in a Functional Language. APLAS (2000)
Sergei M. Abramov, Robert Glück
Combining Semantics with Non-standard Interpreter Hierarchies. FSTTCS (2000)
Sergei M. Abramov, Robert Glück
Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. Fuji International Symposium on Functional and Logic Programming (1998)