Sava Mintchev - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2014

User-Defined Rules Made Simple with Functional ProgrammingSava Mintchev. bis 2014: 229-240 [doi]

2011

Open IT for Business: Transforming Information System Infrastructure with a Commercial BPM SuiteSava Mintchev. bis 2011: 230-241 [doi]

Renovation by Machine-Assisted Program Transformation in Production Reporting and IntegrationSava Mintchev. WCRE 2011: 406-410 [doi]

1999

Multi-language programming environments for high performance Java computingVladimir Getov, Paul A. Gray, Sava Mintchev, Vaidy S. Sunderam. sp, 7(2):139-146, 1999.

1998

High-Performance Parallel Programming in Java: Exploiting Native LibrariesVladimir Getov, Susan Flynn Hummel, Sava Mintchev. concurrency, 10(11-13):863-872, 1998.

1997

Towards Portable Message Passing in Java: Binding MPISava Mintchev, Vladimir Getov. pvm 1997: 135-142

PMPI: High-Level Message Passing in Fortran 77 and CSava Mintchev, Vladimir Getov. hpcn 1997: 603-614

Automatic Binding of Native Scientific Libraries to JavaSava Mintchev, Vladimir Getov. iscope 1997: 129-136

1995

Inducing Students to InductDavid Lester, Sava Mintchev. fple 1995: 159-177

The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem ProvingSava Mintchev, David Lester. hoa 1996: 144-162

1994

Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional LanguagesDavid Lester, Sava Mintchev. csl 1995: 369-381

Mechanized Reasoning about Functional ProgramsSava Mintchev. 1995: 151-166 [doi]

Sign in or sign up to see more results.

runs on WebDSL