The first time I heard about this approach was Boxer: http://edutechwiki.unige.ch/en/Boxer http://edutechwiki.unige.ch/en/Boxer Some more info here: http://lam

The first time I heard about this approach was Boxer: http://edutechwiki.unige.ch/en/Boxer http://edutechwiki.unige.ch/en/Boxer Some more info here: http://lambda-the-ultimate.org/node/4695 http://lambda-the-ultimate.org/node/4695 Paper with some screenshots: http://www.soe.berkeley.edu/boxer/20reasons.pdf http://www.soe.berkeley.edu/boxer/20reasons.pdf And another more contemporary document: http://www.pyxisystems.com/file/BoxerStructures.pdf http://www.pyxisystems.com/file/BoxerStructures.pdf It goes beyond framing a bit, making things like variables concrete (they are actual boxes that contain a value). But it doesn't do full Scratch-style pluggable programming, the statements are still text, as in "Frame-Based Editing".