Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Research output
Prizes
Activities
Press/Media
Student theses
Search by expertise, name or affiliation
Formal integration: A program transformation technique
Micha Sharir
*
*
Corresponding author for this work
School of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
5
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal integration: A program transformation technique'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Program Transformation
100%
Transformation Technique
100%
High-level Expression
50%
Fusion Method
50%
Effective Programs
50%
Loop Fusion
50%
Incremental Updating
50%
Computer Science
Program Transformation
100%
Expression Level
50%
Loop Fusion
50%