Skip to search formSkip to main contentSkip to account menu

Compiler

A program that decodes instructions written in a higher order language and produces an assembly language program.
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
The Molen compiler for reconfigurable architectures
In this dissertation, we present the Molen compiler framework that targets reconfigurable architectures under the Molen… 
2002
2002
Taylor's formula with remainder
In this paper, we present a proof in ACL2(r) of Taylor's formula with remainder. This important theorem allows a function f with… 
1996
1996
Tool Speci cation with GTSL
The de nition of software development methods encompasses the de nition of syntax and static semantics of formal languages. These… 
1995
1995
A naming convention for classes in Ada 9X
This paper discusses a problem encountered when using generics for faceted OOP in Ada 9X, and proposes a general naming scheme… 
1994
1994
Axiom library compiler user guide
datatypes Often, a domain exports a distinguished type and a collection of operations on that type — in general, enough… 
Review
1989
Review
1989
The Mildred Scheel 1988 memorial lecture. A biologist's view of human cancer.
1989
1989
A digit-serial compiler operator library
The PARSIFAL compiler is conceived for higher-throughput applications, allowing chips to be designed with throughput sample rates… 
1987
1987
Sturlunga Saga: The rôle of the Creative Compiler
Contents: Arbitrary Anthology or Creative Compilation? - The prefatory sagas: Thorgils and Haflidi, Sturla, Gudmund Dyri, Hrafn… 
1981
1981
A compiler generator for semantic grammars
Acknowledgements For the past three years, John Hennessy has assisted my study of programming languages. He suggested that I… 
1956
1956
A mathematical language compiler
I. Introduction. A compiler may be defined as a program which satisfies the following four conditions: 1. Universality, i.e., the…