2006 | ||
---|---|---|
8 | EE | Sergei M. Abramov, Robert Glück, Yuri A. Klimov: An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. Ershov Memorial Conference 2006: 27-40 |
2002 | ||
7 | EE | Sergei M. Abramov, Robert Glück: Principles of Inverse Computation and the Universal Resolving Algorithm. The Essence of Computation 2002: 269-295 |
6 | EE | 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): 193-229 (2002) |
2001 | ||
5 | Sergei M. Abramov, Robert Glück: From Standard to Non-Standard Semantics by Semantics Modifiers. Int. J. Found. Comput. Sci. 12(2): 171-211 (2001) | |
2000 | ||
4 | Sergei M. Abramov, Robert Glück: Principles of Inverse Computation in a Functional Language. APLAS 2000: 141-152 | |
3 | EE | Sergei M. Abramov, Robert Glück: Combining Semantics with Non-standard Interpreter Hierarchies. FSTTCS 2000: 201-213 |
2 | Sergei M. Abramov, Robert Glück: The Universal Resolving Algorithm: Inverse Computation in a Functional Language. MPC 2000: 187-212 | |
1998 | ||
1 | 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: 247-270 |
1 | Robert Glück | [1] [2] [3] [4] [5] [6] [7] [8] |
2 | Yuri A. Klimov | [8] |