Pointfree expression and calculation: From quantification to temporal logic

DOI10.1007/S10703-010-0100-2MaRDI QIDQ633283zbMATH OpenOpenAlexFDO

Authors Raymond Boute

Publication date 31 March 2011

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-010-0100-2

zbMATH Keywords

concrete category theorygeneric functionalspointfree stylepointwise stylepredicate calculusquantifierssignal flowtemporal logicTLAtransform methods

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Extended Static Checking by Calculation Using the Pointfree Transform
• scientific article; zbMATH DE number 1696901
• A pointless derivation of radix sort
• Point-free program transformation
• Denotation by Transformation

Cites work

• Can programming be liberated from the von Neumann style?
• Categories for Types
• Exercises in Quantifier Manipulation
• Fuzzy sets
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3142195 (Why is no real title available?)
• scientific article; zbMATH DE number 3165828 (Why is no real title available?)
• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• scientific article; zbMATH DE number 42857 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 53037 (Why is no real title available?)
• scientific article; zbMATH DE number 107664 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 718142 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• scientific article; zbMATH DE number 3804205 (Why is no real title available?)
• scientific article; zbMATH DE number 1852922 (Why is no real title available?)
• scientific article; zbMATH DE number 2100546 (Why is no real title available?)
• scientific article; zbMATH DE number 789390 (Why is no real title available?)
• scientific article; zbMATH DE number 803303 (Why is no real title available?)
• scientific article; zbMATH DE number 5194318 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3238721 (Why is no real title available?)
• scientific article; zbMATH DE number 3197115 (Why is no real title available?)
• Integrated Formal Methods
• Reading, Writing, and Proving
• Temporal algebra
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Theories of Programming Languages
• Touch of class. Learning to program well with objects and contracts
• Two Notes on Notation

Cited in

(4)

• A pointless derivation of radix sort
• A precise and reliable multivariable chain rule
• Extended Static Checking by Calculation Using the Pointfree Transform
• The universality of functions in the sciences at large and in computing

Describes a project that uses

Uses Software

• CalcCheck
• APL
• SPIN
• LabVIEW
• Maple
• Agda
• Haskell
• Traffic 4

This page was built for publication: Pointfree expression and calculation: From quantification to temporal logic

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