A Denotational Investigation of Defunctionalization

BRICS Report Series
doi 10.7146/brics.v7i47.20214
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

Why Denotational?

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

A Certified Denotational Abstract Interpreter

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

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 of a Parallel Object-Oriented Language

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

Compiler Generation From Denotational Semantics

DAIMI Report Series
1980English

Structure-Dependent Thermal Defunctionalization of Single-Walled Carbon Nanotubes

ACS Nano
Materials ScienceNanoscienceEngineeringNanotechnologyAstronomyPhysics
2015English

From Interpreter to Logic Engine by Defunctionalization

BRICS Report Series
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy