Program Transformations in a Denotational Setting

DAIMI Report Series
doi 10.7146/dpb.v10i140.7415
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

Outpatient Medication Assistance Program in a Rural Setting

American Journal of Health-System Pharmacy
MedicineHealth PolicyPharmacologyPharmacy
2004English

A Certified Denotational Abstract Interpreter

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Denotational Investigation of Defunctionalization

BRICS Report Series
2000English

Non-Addictive Drug Antagonist Program in a Community Setting.

American Journal of Public Health
EnvironmentalPublic HealthOccupational Health
1973English

A Breast Self-Examination Program in an Occupational Health Setting

Occupational Health Nursing
1982English

Recruitment for a Diabetes Prevention Program Translation Effort in a Worksite Setting

Contemporary Clinical Trials
MedicinePharmacology
2015English

Setting Up a Pediatric Oncology Program in Cambodia: Successes and Challenges

Blood advances
Hematology
2017English

On the Proof Theory of Program Transformations

Logic Journal of the IGPL
Philosophy
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy