- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 8 |      | Alexander Sakharov: A Transformational Decision Procedure for Non-Clausal Propositional Formulas CoRR cs.LO/0306035: (2003) |
| 2000 | ||
| 7 |  | Alexander Sakharov: A Hybrid State Machine for Component Specification. SIGPLAN Notices 35(4): 51-56 (2000) |
| 1998 | ||
| 6 | | Alexander Sakharov: Letter: Processing Recursive Data Types in Java. SIGPLAN Notices 33(12): 33 (1998) |
| 1996 | ||
| 5 | | Alexander Sakharov: Specialization of Imperative Programs Through Analysis of Relational Expressions. Dagstuhl Seminar on Partial Evaluation 1996: 430-445 |
| 1994 | ||
| 4 | | Alexander Sakharov: Propagation of Constants and Assertions. SIGPLAN Notices 29(3): 28-32 (1994) |
| 3 | | Alexander Sakharov: Propagation of Constants and Assertions. SIGPLAN Notices 29(5): 3-6 (1994) |
| 1992 | ||
| 2 | | Alexander Sakharov: Macro processing in high-level languages. SIGPLAN Notices 27(11): 59-66 (1992) |
| 1985 | ||
| 1 | | Alexander Sakharov: The Structural Synthesis of Programs: New Means. European Conference on Computer Algebra (2) 1985: 570-571 |