.png){kind=icon}
Return
Interface compilation: Steps toward compiling program interfaces as languages
.png){kind=icon}
PRE
AI
DOI：10.1109/32.798327.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Interfaces-the collection of procedures and data structures that define a library, a subsystem, a module-are syntactically poor programming languages. They have state (defined both by the interface's data structures and internally), operations on this state (defined by the interface's procedures), and semantics associated with these operations. Given a way to incorporate interface semantics into compilation, interfaces can be compiled in the same manner as traditional languages such as ANSI C or FORTRAN. This paper makes two contributions. First, ii proposes and explores the metaphor of interface compilation, and provides the beginnings of a programming methodology for exploiting it. Second, ii presents MAGIK, a system built to support interface compilation. Using MAGIK, software developers call build optimizers and checkers for their interface languages, and have these extensions incorporated into compilation, with a corresponding gain in efficiency and safety. This organization contrasts with traditional compilation, which relegates programmers to the role of passive consumers, rather than active exploiters of a complier's transformational abilities.
Keywords:
interface compilation
programming methodology
high-level languages
compiler optimization
interface checking
interface optimization
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
5.6
Papers:
2.9K
Citations:
1.1W
Organization
No organization information available
Cited Papers
QKI-7 Regulates Expression of Interferon-Related Genes in Human Astrocyte Glioma Cells.png)
PLoS ONE
OAAI
PLoS ONEIF0
OAAIShareSaveShareSaveShareSave no more
no more