The semantic treatment of polymorphic specification languages

DOI10.1007/3-540-61735-3_22MaRDI QIDQ2956733zbMATH OpenOpenAlexFDO

Authors Dieter Nazareth

Publication date 19 January 2017

Published in Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61735-3_22

zbMATH Keywords

algebraic semanticsaxiomatic specificationpolymorphic type system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specifying type systems
• Inferring program specifications in polynomial-time
• Executable relational specifications of polymorphic type systems using Prolog
• scientific article; zbMATH DE number 176489
• Recent Trends in Algebraic Development Techniques

Cited in

(2)

• Polymorphic types in Erlang function specifications
• Compositionality and compatibility of parameterization and parameter passing in specification languages

This page was built for publication: The semantic treatment of polymorphic specification languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2956733)