Denotational Semantics for Abadi and Leino’s Logic of Objects

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-31987-0_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Metric Denotational Semantics for Remote Process Destruction and Cloning

Studia Universitatis Babeș-Bolyai Informatica
2017English

A Denotational Semantics for the Π-Calculus

2001English

Compiler Generation From Denotational Semantics

DAIMI Report Series
1980English

The Language for DENOTE (Denotational Semantics Translation Environment)

1990English

A Constructive Denotational Semantics for Kahn Networks in Coq

English

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

DAIMI Report Series
1982English

Denotational Semantics of a Parallel Object-Oriented Language

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1989English

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

DAIMI Report Series
1978English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy