- Float Self-Tagging
2024/11/25 by Olivier Melançon, Manuel Serrano, Melançon, Olivier +3 · 17 voices
Computer Science · Engineering · #Bitwise operation #Compile time #Compiler #Electrohydrodynamics and Fluid Dynamics #Floating point #Heap (data structure) #Numerical Methods and Algorithms #Plasma Diagnostics and Applications #Program transformation #Register allocation #Transformation (genetics)
- The concept of a supercompiler
1986/06/01 by Valentin F. Turchin · 1 voice · 11 citations
Computer Science · Mathematics · #Computation #Computer science #Discrete mathematics #Embedded Systems Design Techniques #Equivalence (formal languages) #Functional programming #IBM #Lazy evaluation #Logic, programming, and type systems #Mathematics #Operating system #Parallel Computing and Optimization Techniques #Partial evaluation #Program transformation #Programming language #Prolog #Redundancy (engineering) #Theoretical computer science #Theory of computation
- Using circular programs to eliminate multiple traversals of data
1984/10/01 by Richard Bird, R. S. Bird · 1 citation
Computer Science · #Advanced Database Systems and Queries #Algorithm #Computer science #Data structure #Geography #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Program structure #Program transformation #Programming language #Recursion (computer science) #Theoretical computer science #Theory of computation #Transformation (genetics) #Traverse