On the public citation graph

Compiling scientific code using partial evaluation

https://doi.org/10.1109/2.62091
0 signed · 97 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf01806312openalex-snapshot
Mix: A self-applicable partial evaluator for experiments in compiler generation
inferredcites →https://doi.org/10.1016/0898-1221(90)90207-zopenalex-snapshot
The bifurcation interpreter: A step towards the automatic analysis of dynamical systems
inferredcites →https://doi.org/10.1109/tassp.1977.1162900openalex-snapshot
Automatic generation of time efficient digital signal processing software
inferredcites →https://doi.org/10.1126/science.241.4864.433openalex-snapshot
Numerical Evidence That the Motion of Pluto Is Chaotic
inferredcites →https://doi.org/10.1145/37888.37890openalex-snapshot
COSMOS: a compiled simulator for MOS circuits
inferredcites →https://doi.org/10.1145/62678.62679openalex-snapshot
Tutorial: abstraction in numerical methods
inferredcites →https://doi.org/10.1145/62678.62680openalex-snapshot
Expressing mathematical subroutines constructively
inferredcites →https://doi.org/10.1145/68182.68207openalex-snapshot
Available instruction-level parallelism for superscalar and superpipelined machines
inferredcites →https://doi.org/10.1145/70082.68207openalex-snapshot
Available instruction-level parallelism for superscalar and superpipelined machines
inferredcites →https://doi.org/10.1145/73141.74831openalex-snapshot
Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language
inferredcites →https://doi.org/10.1145/74818.74831openalex-snapshot
Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language
inferredcites →https://doi.org/10.1145/800055.802020openalex-snapshot
Listlessness is better than laziness
inferredcites →https://doi.org/10.1177/109434208800200303openalex-snapshot
Assessing the Benefits of Fine- Grain Parallelism in Dataflow Programs
inferredcites →https://doi.org/10.21236/ada212759openalex-snapshot
A Compilation Strategy for Numerical Programs Based on Partial Evaluation
inferredcites →https://doi.org/10.7551/mitpress/1425.003.0005openalex-snapshot
Abstraction in Numerical Methods

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/047134608x.w6902openalex-snapshot
Application Generators
inferred← citeshttps://doi.org/10.1006/jpdc.2001.1724openalex-snapshot
Telescoping Languages: A Strategy for Automatic Generation of Scientific Problem-Solving Systems from Annotated Libraries
inferred← citeshttps://doi.org/10.1007/3-540-44815-2_14openalex-snapshot
Just When You Thought Your Little Language Was Safe: “Expression Templates” in Java
inferred← citeshttps://doi.org/10.1007/3-540-45408-x_10openalex-snapshot
BOKS: A Rule-Based System in Support of the Dutch Building Materials Regulations
inferred← citeshttps://doi.org/10.1007/3-540-45574-4_15openalex-snapshot
Optimizing the Use of High Performance Software Libraries
inferred← citeshttps://doi.org/10.1007/3-540-45821-2_1openalex-snapshot
Program Generation, Termination, and Binding-Time Analysis
inferred← citeshttps://doi.org/10.1007/3-540-47018-2_1openalex-snapshot
Partial Evaluation: Concepts and Applications
inferred← citeshttps://doi.org/10.1007/3-540-48443-4_17openalex-snapshot
Reflecting Java into Scheme
inferred← citeshttps://doi.org/10.1007/3-540-55984-1_23openalex-snapshot
Partial evaluation of C and automatic compiler generation
inferred← citeshttps://doi.org/10.1007/3-540-56777-1_10openalex-snapshot
Partial evaluation and symbolic computation for the understanding of Fortran programs
inferred← citeshttps://doi.org/10.1007/3-540-61055-3_31openalex-snapshot
A complete transformational toolkit for compilers
inferred← citeshttps://doi.org/10.1007/3-540-61580-6_15openalex-snapshot
Evolution of partial evaluators: Removing inherited limits
inferred← citeshttps://doi.org/10.1007/3-540-63827-x_43openalex-snapshot
Will C++ be faster than Fortran?
inferred← citeshttps://doi.org/10.1007/3540543961_9openalex-snapshot
Automatic online partial evaluation
inferred← citeshttps://doi.org/10.1007/978-0-387-34897-1_14openalex-snapshot
Binding-time analysis applied to mathematical algorithms
inferred← citeshttps://doi.org/10.1007/978-3-030-32489-6_6openalex-snapshot
Biometric Measurement in Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-030-36701-5_2openalex-snapshot
An Empirical Study of Test-Driven Development vs. Test-Last Development Using Eye Tracking
inferred← citeshttps://doi.org/10.1007/978-3-319-09099-3_2openalex-snapshot
Computing with an SMT Solver
inferred← citeshttps://doi.org/10.1007/978-3-319-39952-2_17openalex-snapshot
Performance-Based Eye-Tracking Analysis in a Dynamic Monitoring Task
inferred← citeshttps://doi.org/10.1007/978-3-322-85027-0_11openalex-snapshot
Specialization of Numerical Programs with the FSpec System
inferred← citeshttps://doi.org/10.1007/978-3-642-04284-3_15openalex-snapshot
Formal Verification for Embedded Systems Design Based on MDE
inferred← citeshttps://doi.org/10.1007/978-3-642-19539-6_8openalex-snapshot
Timed Specification Patterns for System Validation: A Railway Case Study
inferred← citeshttps://doi.org/10.1007/bf01088695openalex-snapshot
A partial evaluator for the Maruti hard real-time system
inferred← citeshttps://doi.org/10.1007/bf02106823openalex-snapshot
The LISA design environment for the synthesis of array processors including memories for the data transfer and fault tolerance by reconfiguration and coding techniques
inferred← citeshttps://doi.org/10.1007/s10270-019-00759-4openalex-snapshot
Mining reading patterns from eye-tracking data: method and demonstration
inferred← citeshttps://doi.org/10.1007/s10664-016-9477-xopenalex-snapshot
How programmers read regular code: a controlled experiment using eye tracking
inferred← citeshttps://doi.org/10.1007/s10664-017-9579-0openalex-snapshot
Does syntax highlighting help programming novices?
inferred← citeshttps://doi.org/10.1007/s10664-020-09883-yopenalex-snapshot
Are there gender differences when interacting with social goal models?
inferred← citeshttps://doi.org/10.1007/s10664-021-10002-8openalex-snapshot
Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices
inferred← citeshttps://doi.org/10.1016/b978-0-08-057115-7.50031-5openalex-snapshot
Copyright
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102520openalex-snapshot
EMIP: The eye movements in programming dataset
inferred← citeshttps://doi.org/10.1016/s0965-9978(01)00046-1openalex-snapshot
GAUSS: an online algorithm selection system for numerical quadrature
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)51273-2openalex-snapshot
Application of Partial Evaluation to Hard Real-Time Programming
inferred← citeshttps://doi.org/10.1017/s0956796800001155openalex-snapshot
Total unfolding: theory and applications
inferred← citeshttps://doi.org/10.1017/s0956796802004574openalex-snapshot
Compiling embedded languages
inferred← citeshttps://doi.org/10.1023/a:1007736916360openalex-snapshot
Partial Evaluation of the Euclidian Algorithm
inferred← citeshttps://doi.org/10.1109/32.489074openalex-snapshot
Creation of views for reuse of software with different data representations
inferred← citeshttps://doi.org/10.1109/32.605759openalex-snapshot
Software reuse by specialization of generic procedures through views
inferred← citeshttps://doi.org/10.1109/43.251157openalex-snapshot
A multiple-strength multiple-delay compiled-code logic simulator
inferred← citeshttps://doi.org/10.1109/5254.671084openalex-snapshot
Will domain-specific code synthesis become a silver bullet?
inferred← citeshttps://doi.org/10.1109/fpga.1993.279478openalex-snapshot
A field programmable accelerator for compiled-code applications
inferred← citeshttps://doi.org/10.1109/fpga.1997.624614openalex-snapshot
Automated field-programmable compute accelerator design using partial evaluation
inferred← citeshttps://doi.org/10.1109/iccd.1992.276247openalex-snapshot
Addressing the tradeoff between standard and custom ICs in system level design
inferred← citeshttps://doi.org/10.1109/iccd.1993.393327openalex-snapshot
A field programmable accelerator for compiled-code applications
inferred← citeshttps://doi.org/10.1109/ipps.1994.288317openalex-snapshot
Accommodating polymorphic data decompositions in explicitly parallel programs
inferred← citeshttps://doi.org/10.1109/jcit.1990.128271openalex-snapshot
The Supercomputer Toolkit and its applications
inferred← citeshttps://doi.org/10.1109/jproc.2004.840447openalex-snapshot
Telescoping Languages: A System for Automatic Generation of Domain Languages
inferred← citeshttps://doi.org/10.1109/real.1991.160359openalex-snapshot
A partial evaluator for the Maruti hard real-time system
inferred← citeshttps://doi.org/10.1109/wpc.1993.263907openalex-snapshot
Partial evaluation as an aid to the comprehension of Fortran programs
inferred← citeshttps://doi.org/10.1117/1.1329895openalex-snapshot
Representation of human vision in the brain: how does human perception recognize images?
inferred← citeshttps://doi.org/10.1142/s0129156492000138openalex-snapshot
THE SUPERCOMPUTER TOOLKIT: A GENERAL FRAMEWORK FOR SPECIAL-PURPOSE COMPUTING
inferred← citeshttps://doi.org/10.1142/s0129626405002234openalex-snapshot
GENERATING MESSAGE-PASSING PROGRAMS FROM ABSTRACT SPECIFICATIONS BY PARTIAL EVALUATION
inferred← citeshttps://doi.org/10.1145/1108970.1108973openalex-snapshot
Termination analysis and specialization-point insertion in offline partial evaluation
inferred← citeshttps://doi.org/10.1145/1111542.1111546openalex-snapshot
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations
inferred← citeshttps://doi.org/10.1145/115865.115870openalex-snapshot
Detecting static algorithms by partial evaluation
inferred← citeshttps://doi.org/10.1145/115866.115870openalex-snapshot
Detecting static algorithms by partial evaluation
inferred← citeshttps://doi.org/10.1145/127601.127665openalex-snapshot
Automatic generation of compiled simulations through program specialization
inferred← citeshttps://doi.org/10.1145/154630.154651openalex-snapshot
A partial evaluator for data flow graphs
inferred← citeshttps://doi.org/10.1145/202176.202184openalex-snapshot
Fortran program specialization
inferred← citeshttps://doi.org/10.1145/215465.215468openalex-snapshot
Mix ten years later
inferred← citeshttps://doi.org/10.1145/224133.224136openalex-snapshot
Freeing the essence of a computation
inferred← citeshttps://doi.org/10.1145/243439.243447openalex-snapshot
An introduction to partial evaluation
inferred← citeshttps://doi.org/10.1145/2451116.2451161openalex-snapshot
Practical automatic loop specialization
inferred← citeshttps://doi.org/10.1145/2490301.2451161openalex-snapshot
Practical automatic loop specialization
inferred← citeshttps://doi.org/10.1145/2499368.2451161openalex-snapshot
Practical automatic loop specialization
inferred← citeshttps://doi.org/10.1145/258993.259008openalex-snapshot
Generating efficient virtual worlds for visualization using partial evaluation and dynamic compilation
inferred← citeshttps://doi.org/10.1145/258994.259008openalex-snapshot
Generating efficient virtual worlds for visualization using partial evaluation and dynamic compilation
inferred← citeshttps://doi.org/10.1145/265943.265944openalex-snapshot
Toward a complete transformational toolkit for compilers
inferred← citeshttps://doi.org/10.1145/331960.331970openalex-snapshot
An annotation language for optimizing software libraries
inferred← citeshttps://doi.org/10.1145/331963.331970openalex-snapshot
An annotation language for optimizing software libraries
inferred← citeshttps://doi.org/10.1145/581478.581505openalex-snapshot
Program generation, termination, and binding-time analysis
inferred← citeshttps://doi.org/10.1145/91556.91612openalex-snapshot
Partial evaluation applied to numerical computation
inferred← citeshttps://doi.org/10.1155/1993/545904openalex-snapshot
A Framework‐Based Environment for Object‐Oriented Scientific Codes
inferred← citeshttps://doi.org/10.1155/1995/76861openalex-snapshot
Stepwise Transformation of Algorithmsinto Array Processor Architecturesby the DECOMP
inferred← citeshttps://doi.org/10.1159/000133226openalex-snapshot
Compilation for fast calculation over pedigrees
inferred← citeshttps://doi.org/10.1515/pjbr-2019-0019openalex-snapshot
Doing autoethnography of social robots: Ethnographic reflexivity in HRI
inferred← citeshttps://doi.org/10.20868/upm.thesis.329openalex-snapshot
Poly-controlled partial evaluation and its application to resource-aware program specialization
inferred← citeshttps://doi.org/10.48550/arxiv.cs/9810010openalex-snapshot
C++ Templates as Partial Evaluation
inferred← citeshttps://doi.org/10.48550/arxiv.math/9810022openalex-snapshot
Active Libraries: Rethinking the roles of compilers and libraries
inferred← citeshttps://doi.org/10.5287/ora-qxe0z585aopenalex-snapshot
Automatic validation and optimisation of biological models
inferred← citeshttps://doi.org/10.7146/brics.v4i1.18780openalex-snapshot
Partial Evaluation of the Euclidian Algorithm (Extended Version)
inferred← citeshttps://doi.org/10.7146/brics.v4i53.19274openalex-snapshot
Online Type-Directed Partial Evaluation
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.