Programming Languages and Systems
21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings
Chapter and Conference Paper
The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop a theory of free constructions for such equational systems; and to ...
Chapter and Conference Paper
Our view of computation is still evolving. The concrete theories for specific computational phenomena that are emerging encompass three aspects: specification and programming languages for describing computations...
Chapter and Conference Paper
We extend universal algebra and its equational logic from first to second order as follows.
Article
There are two approaches to formalizing the syntax of typed object languages in a proof assistant or programming language. The extrinsic approach is to first define a type that encodes untyped object expressions ...
Chapter and Conference Paper
Ensuring that compiler optimizations are correct...
Chapter and Conference Paper
Several automatic verification tools have been recently developed to verify subsets of LLVM’s optimizations. However, none of these tools has robust support to verify memory optimizations.
Book and Conference Proceedings
21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings