HASCASL: Integrated higher-order specification and program development

被引：14

作者：

Schroeder, Lutz ^{[1
]}

Mossakowski, Till

机构：

[1] Univ Bremen, DFKI Lab Breman, D-2800 Bremen 33, Germany

来源：

THEORETICAL COMPUTER SCIENCE | 2009年 / 410卷 / 12-13期

关键词：

Algebraic specification; Functional programming; Type classes; Polymorphism; CASL; Monads; Hoare logic; Higher-order logic; ALGEBRAIC SPECIFICATIONS; DYNAMIC LOGIC; SET;

D O I：

10.1016/j.tcs.2008.11.020

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We lay out the design of HASCASL, a higher order extension of the algebraic specification language CASL that serves both as a wide-spectrum language for the rigorous specification and development of software, in particular but not exclusively in modern functional programming languages, and as an expressive standard language for higher-order logic. Distinctive features of HASCASL include partial higher order functions, higher order subtyping, shallow polymorphism, and an extensive type-class mechanism. Moreover, HASCASL provides dedicated specification support for monad-based functional-imperative programming with generic side effects, including a monad-based generic Hoare logic. (C) 2008 Elsevier B.V. All rights reserved.

引用

页码：1217 / 1260

页数：44

共 50 条

[1] SPECIFICATION AND VERIFICATION OF HIGHER-ORDER PROCESSES
HANSEN, MR
ZHOU, CC
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 322 - 328
[2] On the power of higher-order algebraic specification methods
Kosiuczenko, P
Meinke, K
[J]. INFORMATION AND COMPUTATION, 1996, 124 (01) : 85 - 101
[3] A KERNEL SPECIFICATION FORMALISM WITH HIGHER-ORDER PARAMETERIZATION
SANNELLA, D
TARLECKI, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 274 - 296
[4] EQUATIONAL SPECIFICATION OF PARTIAL HIGHER-ORDER ALGEBRAS
BROY, M
[J]. THEORETICAL COMPUTER SCIENCE, 1988, 57 (01) : 3 - 45
[5] Higher-order equational logic for specification, simulation and testing
Meinke, K
[J]. HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 124 - 143
[6] Higher-order matching for program transformation
de Moor, O
Sittampalam, G
[J]. THEORETICAL COMPUTER SCIENCE, 2001, 269 (1-2) : 135 - 162
[7] HIGHER-ORDER GENERALIZATION IN PROGRAM DERIVATION
PETTOROSSI, A
SKOWRON, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 182 - 196
[8] Program Explanation and Higher-Order Properties
Suzanne Bliss
Jordi Fernández
[J]. Acta Analytica, 2010, 25 : 393 - 411
[9] Program Explanation and Higher-Order Properties
Bliss, Suzanne
Fernandez, Jordi
[J]. ACTA ANALYTICA-INTERNATIONAL PERIODICAL FOR PHILOSOPHY IN THE ANALYTICAL TRADITION, 2010, 25 (04): : 393 - 411
[10] Higher-order interpretations and program complexity
Baillot, Patrick
Dal Lago, Ugo
[J]. INFORMATION AND COMPUTATION, 2016, 248 : 56 - 81

← 1 2 3 4 5 →