33 search results - page 1 / 7 » Adjoint Folds and Unfolds |
MPC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental la...
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
We generalize the unfolding semantics, previously developed for concrete formalisms such as Petri nets and graph grammars, to the setting of (single pushout) rewriting over adhesiv...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Unfolds generate data structures, and folds consume them. A hylomorphism is a fold after an unfold, generating then consuming a virtual data structure. A metamorphism is the opposi...
CCCG
2004
13 years 6 months ago
2004
We prove that any given well-behaved folded state of a piece of paper can be reached via a continuous folding process starting from the unfolded paper and ending with the folded st...
JCDCG
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. We survey results in a recent branch of computational geometry: folding and unfolding of linkages, paper, and polyhedra. Contents