Search the dblp DataBase
Alexander Sakharov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Alexander Sakharov
Specialization of Imperative Programs Through Analysis of Relational Expressions. [Citation Graph (0, 0)][DBLP]
Dagstuhl Seminar on Partial Evaluation, 1996, pp:430-445 [Conf] - Alexander Sakharov
The Structural Synthesis of Programs: New Means. [Citation Graph (0, 0)][DBLP]
European Conference on Computer Algebra (2), 1985, pp:570-571 [Conf] - Alexander Sakharov
A Transformational Decision Procedure for Non-Clausal Propositional Formulas [Citation Graph (0, 0)][DBLP]
CoRR, 2003, v:0, n:, pp:- [Journal] - Alexander Sakharov
A Hybrid State Machine for Component Specification. [Citation Graph (0, 0)][DBLP]
SIGPLAN Notices, 2000, v:35, n:4, pp:51-56 [Journal] - Alexander Sakharov
Macro processing in high-level languages. [Citation Graph (0, 0)][DBLP]
SIGPLAN Notices, 1992, v:27, n:11, pp:59-66 [Journal] - Alexander Sakharov
Propagation of Constants and Assertions. [Citation Graph (0, 0)][DBLP]
SIGPLAN Notices, 1994, v:29, n:3, pp:28-32 [Journal] - Alexander Sakharov
Propagation of Constants and Assertions. [Citation Graph (0, 0)][DBLP]
SIGPLAN Notices, 1994, v:29, n:5, pp:3-6 [Journal] - Alexander Sakharov
Letter: Processing Recursive Data Types in Java. [Citation Graph (0, 0)][DBLP]
SIGPLAN Notices, 1998, v:33, n:12, pp:33- [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002