Towards a Compiler for Reals

ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/3014426
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Verifying a Compiler for Java Threads

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Compiler Framework for Speculative Optimizations

Transactions on Architecture and Code Optimization
HardwareInformation SystemsArchitectureSoftware
2004English

A Secure Compiler for Session Abstractions

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2008English

Pythia: A Parallel Compiler for Delirium

1990English

The META-T Compiler-Compiler

English

The META-T Compiler-Compiler

English

Random Reals and Souslin Trees

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1987English

A Basic Linear Algebra Compiler for Embedded Processors

2015English

A Standard ML Compiler

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy