Similar Items

Cover Image

Executable calculational expessions

The calculational style of E. W. Dijkstra and C. S. Scholten is a semi-formal style for the development, both in terms of verification and derivation, of correct programs. This calculational style heavily relies on the symbolic manipulation of expressions involving, for instance, arithmetic, quantif...

Full description

Saved in:
Bibliographic Details
Institution:Escuela Colombiana de Ingeniería
Main Authors: Cháves Alonso, Fransisco José, Rocha Niño, Hernán Camilo
Format: Informe de investigación
Language:English
Published: 2015
Subjects:
Haskell
Calculational logic
Formal Methods
Dijkstra and Scholtem Style
Estilo Dijkstra y Scholtem
Operatorias
Lógica Calculatoria
Formal Specification
Big operators
Online Access:http://repositorio.escuelaing.edu.co/handle/001/301
Tags: Add Tag
No Tags, Be the first to tag this record!