Search the dblp DataBase
Sava Mintchev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- David Lester, Sava Mintchev
Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. [Citation Graph (0, 0)][DBLP]
CSL, 1994, pp:369-381 [Conf] - David Lester, Sava Mintchev
Inducing Students to Induct. [Citation Graph (0, 0)][DBLP]
FPLE, 1995, pp:159-177 [Conf] - Sava Mintchev, David Lester
The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. [Citation Graph (0, 0)][DBLP]
HOA, 1995, pp:144-162 [Conf] - Sava Mintchev, Vladimir Getov
PMPI: High-Level Message Passing in Fortran 77 and C. [Citation Graph (0, 0)][DBLP]
HPCN Europe, 1997, pp:603-614 [Conf] - Sava Mintchev, Vladimir Getov
Automatic Binding of Native Scientific Libraries to Java. [Citation Graph (0, 0)][DBLP]
ISCOPE, 1997, pp:129-136 [Conf] - Sava Mintchev, Vladimir Getov
Towards Portable Message Passing in Java: Binding MPI. [Citation Graph (0, 0)][DBLP]
PVM/MPI, 1997, pp:135-142 [Conf] - Vladimir Getov, Susan Flynn Hummel, Sava Mintchev
High-Performance Parallel Programming in Java: Exploiting Native Libraries. [Citation Graph (0, 0)][DBLP]
Concurrency - Practice and Experience, 1998, v:10, n:11-13, pp:863-872 [Journal] - Vladimir Getov, Paul A. Gray, Sava Mintchev, Vaidy S. Sunderam
Multi-language programming environments for high performance Java computing. [Citation Graph (0, 0)][DBLP]
Scientific Programming, 1999, v:7, n:2, pp:139-146 [Journal]
Search in 0.001secs, Finished in 0.002secs
| 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