sentence1: van horn and might show how a series of analyses for functional languages can be derived from abstract machines .
sentence2: similarly , van horn and might present a systematic framework to abstract higher-order functional languages with effects and complex control flow .