dblp.uni-trier.dewww.uni-trier.de

Sergei M. Abramov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
8EESergei 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
7EESergei M. Abramov, Robert Glück: Principles of Inverse Computation and the Universal Resolving Algorithm. The Essence of Computation 2002: 269-295
6EESergei 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
3EESergei 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

Coauthor Index

1Robert Glück [1] [2] [3] [4] [5] [6] [7] [8]
2Yuri A. Klimov [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)