Pointfree expression and calculation: From quantification to temporal logic

DOI10.1007/S10703-010-0100-2zbMATH Open1211.68080OpenAlexW1970408998MaRDI QIDQ633283FDOQ633283

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

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

zbMATH Keywords

temporal logicquantifierstransform methodsconcrete category theorygeneric functionalspointfree stylepointwise stylepredicate calculussignal flowTLA

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Fuzzy sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories for Types
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Two Notes on Notation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exercises in Quantifier Manipulation
• Temporal algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theories of Programming Languages
• Can programming be liberated from the von Neumann style?
• Title not available (Why is that?)
• Reading, Writing, and Proving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Touch of class. Learning to program well with objects and contracts
• Integrated Formal Methods

Cited In (3)

• Extended Static Checking by Calculation Using the Pointfree Transform
• A precise and reliable multivariable chain rule
• A pointless derivation of radix sort

Uses Software

• Maple
• APL
• SPIN
• Haskell
• LabVIEW
• Agda
• CalcCheck
• 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)