Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Andrzej Blikle

Why Denotational?

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

Related publications

A Certified Denotational Abstract Interpreter

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Compiler Generation From Denotational Semantics

DAIMI Report Series
1980English

A Denotational Investigation of Defunctionalization

BRICS Report Series
2000English

Metric Denotational Semantics for Remote Process Destruction and Cloning

Studia Universitatis Babeș-Bolyai Informatica
2017English

Program Transformations in a Denotational Setting

DAIMI Report Series
1981English

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

Denotational Semantics of a Parallel Object-Oriented Language

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy