Author of the publication

Control-Flow Semantics for Assembly-Level Data-Flow Graphs.

, , and . RelMiCS, volume 3929 of Lecture Notes in Computer Science, page 147-160. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Relational Treatment of Term Graphs With Bound Variables.. Logic Journal of the IGPL, 6 (2): 259-303 (1998)Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.. RelMiCS, volume 4136 of Lecture Notes in Computer Science, page 235-250. Springer, (2006)Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck.. RAMiCS, volume 11194 of Lecture Notes in Computer Science, page 366-384. Springer, (2018)Basic Pattern Matching Calculi: a Fresh View on Matching Failure.. FLOPS, volume 2998 of Lecture Notes in Computer Science, page 276-290. Springer, (2004)Amalgamating Pushout and Pullback Graph Transformation in Collagories.. ICGT, volume 6372 of Lecture Notes in Computer Science, page 362-378. Springer, (2010)Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms.. ECEASST, (2014)Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories.. ECEASST, (2010)The Term Graph Programming System HOPS.. Tool Support for System Specification, Development and Verification, page 136-149. Springer, (1998)Towards "mouldable code" via nested code graph transformation.. J. Log. Algebraic Methods Program., 83 (2): 225-234 (2014)Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code., and . AGTIVE, volume 5088 of Lecture Notes in Computer Science, page 217-232. Springer, (2007)