13、Welterweight Java 语言特性与语义详解

Welterweight Java 语言特性与语义详解

1. 引言

在编程世界中，不同的编程语言和模型有着各自独特的特性和应用场景。Welterweight Java（WJ）是一种具有特定语法和语义的编程模型，它在类型系统、类结构、线程管理等方面有着自己的设计。本文将详细介绍 WJ 的语法、静态语义、动态语义以及相关的元理论，帮助读者深入理解这一编程模型。

2. WJ 的语法

WJ 的语法定义了程序、类、字段、方法和语句的结构。具体的语法规则如下：

P ::= C           // 程序由类声明组成
C ::= class c extends d { F M }  // 类声明，c 继承自 d，包含字段 F 和方法 M
F ::= t f         // 字段声明，类型为 t，名称为 f
M ::= t m(t x) { t x s }  // 方法声明，返回类型为 t，方法名为 m，参数为 t x，方法体为 t x s
s ::= s; s | x = y.f | x = z | y.f = z | x = new t()  // 语句类型，包括语句序列、字段选择、赋值、对象创建等
    | x = (t) z | x = y.m(z) | x = start t() | lock z | unlock z
t ::= c, d        // 类型可以是类名 c 或 d

其中， c 和 d 是类名， f 和 m