Cited By
View all- Reilles A(2007)Canonical Abstract Syntax TreesElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2007.06.014176:4(165-179)Online publication date: 1-Jul-2007
- Cirstea HFaure GKirchner C(2007)A ρ-calculus of explicit constraint applicationHigher-Order and Symbolic Computation10.1007/s10990-007-9004-220:1-2(37-72)Online publication date: 1-Jun-2007
- Kosiuczenko P(2007)Redesign of UML class diagrams: a formal approachSoftware & Systems Modeling10.1007/s10270-007-0068-68:2(165-183)Online publication date: 1-Nov-2007
- Show More Cited By