next up previous contents
Next: Untangle, Shake Up: Compiler Phases Previous: Shake   Contents


Pieces of code are determined to be client-side, server-side, neither, or both, by figuring out which standard library functions might be needed to execute them. Calls to server-side functions (e.g., $ \mathsf{query}$ ) within mixed client-server code are identified and replaced with explicit remote calls. Some mixed functions may be converted to continuation-passing style to facilitate this transformation.