Connection Between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

DAIMI Report Series
doi 10.7146/dpb.v7i86.6502
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

The Complexity Space of Partial Functions: A Connection Between Complexity Analysis and Denotational Semantics

International Journal of Computer Mathematics
Computational TheoryApplied MathematicsComputer Science ApplicationsMathematics
2011English

Compiler Generation From Denotational Semantics

DAIMI Report Series
1980English

Metric Denotational Semantics for Remote Process Destruction and Cloning

Studia Universitatis Babeș-Bolyai Informatica
2017English

A Denotational Semantics for the Π-Calculus

2001English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Denotational Semantics for Abadi and Leino’s Logic of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Predicate Transformers for Recursive Procedures With Local Variables

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1999English

Illinois-Lh: A Denotational and Distributional Approach to Semantics

2014English

Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

DAIMI Report Series
1982English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy