Sava Mintchev

12 papers A 1B 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2014 — conf
User-Defined Rules Made Simple with Functional Programming.
BIS
Sava Mintchev
2011 — conf
Open IT for Business: Transforming Information System Infrastructure with a Commercial BPM Suite.
BIS
Sava Mintchev
2011 — conf
Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration.
WCRE
Sava Mintchev
1999 J jnl
Multi-language programming environments for high performance Java computing.
Sci. Program.
Vladimir Getov, Paul A. Gray, Sava Mintchev, Vaidy S. Sunderam
1998 J jnl
High-Performance Parallel Programming in Java: Exploiting Native Libraries.
Concurr. Pract. Exp.
Vladimir Getov, Susan Flynn Hummel, Sava Mintchev
1997 — conf
Automatic Binding of Native Scientific Libraries to Java.
ISCOPE
Sava Mintchev, Vladimir Getov
1997 — conf
PMPI: High-Level Message Passing in Fortran 77 and C.
HPCN Europe
Sava Mintchev, Vladimir Getov
1997 — conf
Towards Portable Message Passing in Java: Binding MPI.
PVM/MPI
Sava Mintchev, Vladimir Getov
1995 — conf
Inducing Students to Induct.
FPLE
David R. Lester, Sava Mintchev
1995 — conf
The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving.
HOA
Sava Mintchev, David R. Lester
1994 A conf
Mechanized Reasoning about Functional Programs.
Functional Programming
Sava Mintchev
1994 B conf
Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.
CSL
David R. Lester, Sava Mintchev