Sergei M. Abramov

According to our database, Sergei M. Abramov authored at least 8 papers between 1998 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

An Universal Resolving Algorithm for Inverse Computation of Lazy Languages.

Sergei M. Abramov, Robert Glück, Yuri A. Klimov

Proceedings of the Perspectives of Systems Informatics, 2006

2002

The universal resolving algorithm and its correctness: inverse computation in a functional language.

Sergei M. Abramov, Robert Glück

Sci. Comput. Program., 2002

Principles of Inverse Computation and the Universal Resolving Algorithm.

Sergei M. Abramov, Robert Glück

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

From Standard to Non-Standard Semantics by Semantics Modifiers.

Sergei M. Abramov, Robert Glück

Int. J. Found. Comput. Sci., 2001

2000

The Universal Resolving Algorithm: Inverse Computation in a Functional Language.

Sergei M. Abramov, Robert Glück

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Combining Semantics with Non-standard Interpreter Hierarchies.

Sergei M. Abramov, Robert Glück

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Principles of Inverse Computation in a Functional Language.

Sergei M. Abramov, Robert Glück

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1998

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages.

Sergei M. Abramov, Robert Glück

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998