Han Jung Lan

KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 157-164, May. 2023
https://doi.org/10.3745/KTCCS.2023.12.5.157,   PDF Download:
Keywords: Formal Semantics, Action Equation 3.0, Functional Interface, Specification of Semantics, Lambda Expression
Abstract

Specifying the semantic structure for functional interfaces and lambda expressions, which are the latest features of Java, can be referenced when designing similar functions in the future, and is also required in the process of standardizing or implementing an optimized translator. In this study, action equation 3.0 is newly proposed to express the static and dynamic semantic structure of functional interfaces and lambda expressions by modifying and upgrading the existing expressions to express the semantic structures of java functional interfaces and lambda expressions. Measure the execution time of java programs by implementing the semantic structure specified in action equation 3.0 in java, and prove that action equation 3.0 is a real semantic structure that can be implemented through simulation. The superiority of this action equation 3.0 is to be confirmed by comparing the action equation 3.0 specified in the four areas of readability, modularity, extensibility and flexibility with the existing representative semantic expression methods.

Statistics
Cite this article