Communicating sequential processes
Communicating sequential processes
Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Elements of functional languages
Elements of functional languages
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The semantics of programming languages: an elementary introduction using structural operational semantics
Prospects for functional programming in software engineering
Prospects for functional programming in software engineering
An introduction to functional programming
An introduction to functional programming
The Z notation: a reference manual
The Z notation: a reference manual
An introduction to functional programming systems using Haskell
An introduction to functional programming systems using Haskell
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Model checking and abstraction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional programming and input/output
Functional programming and input/output
Semantic Lego
Algebra of programming
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Tutorial on the Irish School of the VDM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Proving Correctness of Programs with IO - A Paradigm Comparison
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Theorem Proving for Functional Programmers
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Modular Compilers Based on Monad Transformers
ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modelling deterministic concurrent I/O
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
A Denotational Semantics for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
Verified Software: Theories, Tools, Experiments
Proving Properties of Lazy Functional Programs with Sparkle
Central European Functional Programming School
seL4: formal verification of an OS kernel
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Formalizing FreeRTOS: First Steps
Formal Methods: Foundations and Applications
Proving make correct: I/O proofs in Haskell and clean
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
We look at formalisms for reasoning about the effects of I/O in pure functional programs, covering both the monadic I/O of Haskell and the uniqueness-based framework used by Clean. The material will cover comparative studies of I/O reasoning for Haskell, Clean and a C-like language, as well as describing the formal infrastructure needed and tool support available to do such reasoning.