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 条
  • [31] DEVELOPMENT OF A TEST OF HIGHER-ORDER LANGUAGE SKILLS
    Farnia, Fataneh
    Cohen, Nancy
    [J]. JOURNAL OF THE AMERICAN ACADEMY OF CHILD AND ADOLESCENT PSYCHIATRY, 2016, 55 (10): : S280 - S280
  • [32] Comparative higher-order risk aversion and higher-order prudence
    Wong, Kit Pong
    [J]. ECONOMICS LETTERS, 2018, 169 : 38 - 42
  • [33] CALCULATION OF HIGHER-ORDER SENSITIVITIES AND HIGHER-ORDER SENSITIVITY INVARIANTS
    GEHER, K
    SOLYMOSI, J
    [J]. PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1972, 16 (03): : 325 - 330
  • [34] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL
    FORSTER, T
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
  • [35] Higher-order symmetric duality with higher-order generalized invexity
    Padhan S.K.
    Nahak C.
    [J]. Journal of Applied Mathematics and Computing, 2015, 48 (1-2) : 407 - 420
  • [36] HIGHER-ORDER OPTIMALITY CONDITIONS AND HIGHER-ORDER TANGENT SETS
    Penot, Jean-Paul
    [J]. SIAM JOURNAL ON OPTIMIZATION, 2017, 27 (04) : 2508 - 2527
  • [37] Typed higher-order narrowing without higher-order strategies
    Antoy, S
    Tolmach, A
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
  • [38] SPECIFICATION AND VERIFICATION OF DIGITAL-SYSTEMS USING HIGHER-ORDER PREDICATE LOGIC
    HANNA, FK
    DAECHE, N
    [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (05): : 242 - 254
  • [39] Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
    Svendsen, Kasper
    Birkedal, Lars
    Parkinson, Matthew
    [J]. ECOOP 2013 - OBJECT-ORIENTED PROGRAMMING, 2013, 7920 : 327 - 351
  • [40] Higher-order spatial autoregressive varying coefficient model: estimation and specification test
    Li, Tizheng
    Wang, Yuping
    [J]. TEST, 2024,
12345