Min-Hsien Weng

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 3

Top Topics

Declarative Language

Conceptual Graphs

High Level Programming Language

Top Venues

Electron. Notes Theor. Comput. Sci.

Formal Methods Syst. Des.

Publications

Min-Hsien Weng, Robi Malik, Mark Utting
Automatic proofs of memory deallocation for a Whiley-to-C Compiler. Formal Methods Syst. Des. 57 (3) (2021)
Min-Hsien Weng, Bernhard Pfahringer, Mark Utting
Static techniques for reducing memory usage in the C implementation of whiley programs. ACSW (2017)
Min-Hsien Weng, Mark Utting, Bernhard Pfahringer
Bound Analysis for Whiley Programs. Electron. Notes Theor. Comput. Sci. 320 (2016)
Mark Utting, Min-Hsien Weng, John G. Cleary
The JStar language philosophy. Parallel Comput. 40 (2) (2014)
Mark Utting, Min-Hsien Weng, John G. Cleary
The JStar language philosophy. PMAM (2013)