| |
| 2003 | ||
|---|---|---|
| 8 | EE | 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 | EE | 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 | |