论文信息 - State-Based Extension of CASL ? / ? ? - 字舞流文

State-Based Extension of CASL ? / ? ?

H. Baumeister | A. Zamulin

[1] Peter D. Mosses. CASL: A Guided Tour of Its Design , 1998, WADT.

[2] Hubert Baumeister. Relations between abstract datatypes modeled as abstract datatypes , 1998 .

[3] Hubert Baumeister,et al. Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras , 1995, TAPSOFT.

[4] Alexandre V. Zamulin,et al. Dynamic Systems with Implicit State , 1999, FASE.