Sava Mintchev

Publication Activity (10 Years)

Years Active: 1994-2014
Publications (10 Years): 0

Top Topics

Functional Programming

General Purpose

Top Venues

Publications

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