Sava Mintchev

According to our database, Sava Mintchev authored at least 12 papers between 1994 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

User-Defined Rules Made Simple with Functional Programming.

Sava Mintchev

Proceedings of the Business Information Systems - 17th International Conference, 2014

2011

Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration.

Sava Mintchev

Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Open IT for Business: Transforming Information System Infrastructure with a Commercial BPM Suite.

Sava Mintchev

Proceedings of the Business Information Systems - 14th International Conference, 2011

1999

Multi-language programming environments for high performance Java computing.

Vladimir Getov, Paul A. Gray, Sava Mintchev, Vaidy S. Sunderam

Sci. Program., 1999

1998

High-Performance Parallel Programming in Java: Exploiting Native Libraries.

Vladimir Getov, Susan Flynn Hummel, Sava Mintchev

Concurr. Pract. Exp., 1998

1997

Towards Portable Message Passing in Java: Binding MPI.

Sava Mintchev, Vladimir Getov

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1997

Automatic Binding of Native Scientific Libraries to Java.

Sava Mintchev, Vladimir Getov

Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997

PMPI: High-Level Message Passing in Fortran 77 and C.

Sava Mintchev, Vladimir Getov

Proceedings of the High-Performance Computing and Networking, 1997

1995

The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving.

Sava Mintchev, David R. Lester

Proceedings of the Higher-Order Algebra, 1995

Inducing Students to Induct.

David R. Lester, Sava Mintchev

Proceedings of the Functional Programming Languages in Education, 1995

1994

Mechanized Reasoning about Functional Programs.

Sava Mintchev

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.

David R. Lester, Sava Mintchev

Proceedings of the Computer Science Logic, 8th International Workshop, 1994