A Certified Denotational Abstract Interpreter

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-14052-5_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Fully Abstract Denotational Model for Higher-Order Processes

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

Why Denotational?

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

A Denotational Investigation of Defunctionalization

BRICS Report Series
2000English

Interpreter Sam

Leading Edge
GeophysicsGeology
2018English

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

The Community Interpreter: A Question of Role

Hermes (Denmark)
LinguisticsLanguageCommunication
2017English

Multi-Interpreter Systems

DAIMI Report Series
1976English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy