HasCasl: integrated higher-order specification and program development (Q1006648)

From MaRDI portal
Revision as of 05:14, 29 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
HasCasl: integrated higher-order specification and program development
scientific article

    Statements

    title
    HasCasl: integrated higher-order specification and program development (English)
    0 references
    author
    Lutz Schröder
    0 references
    Till Mossakowski
    0 references
    publication date
    25 March 2009
    0 references
    Mathematics Subject Classification ID
    68Q65
    0 references
    03B15
    0 references
    03B70
    0 references
    68N18
    0 references
    68N30
    0 references
    zbMATH DE Number
    5532866
    0 references
    zbMATH Keywords
    algebraic specification
    0 references
    functional programming
    0 references
    type classes
    0 references
    polymorphism
    0 references
    Casl
    0 references
    monads
    0 references
    Hoare logic
    0 references
    higher-order logic
    0 references
    describes a project that uses
    CASL
    0 references
    CafeOBJ
    0 references
    Hets
    0 references
    Maude
    0 references
    Coq
    0 references
    Haskell
    0 references
    Z
    0 references
    CoFI
    0 references
    LARCH
    0 references
    HOL
    0 references
    OpenAlex ID
    W1989984154
    0 references
    cites work
    Computer Science Logic
    0 references
    Q4693062
    0 references
    Proofs as programs
    0 references
    Q4945200
    0 references
    Q2715825
    0 references
    Q4944851
    0 references
    Q4738223
    0 references
    Q4845499
    0 references
    Institution morphisms
    0 references
    Q4282672
    0 references
    Q3976461
    0 references
    Q3997074
    0 references
    Q3727946
    0 references
    Q4215784
    0 references
    Q3032225
    0 references
    Q2703802
    0 references
    Q3827990
    0 references
    Q3764126
    0 references
    Q4327833
    0 references
    Q4414308
    0 references
    Q2778806
    0 references
    Q3786612
    0 references
    Q3024884
    0 references
    Q4499141
    0 references
    Q2764130
    0 references
    Q4417837
    0 references
    Computer Science Logic
    0 references
    Q3995087
    0 references
    Q3998741
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1006648&oldid=35099968"
    Powered by MediaWiki