Software Modelling and Applied Logic

Filter
Other chapter contribution

Search results

  • 2017

    On Solving Nominal Fixpoint Equations

    Ayala-Rincón, M., de Carvalho-Segundo, W., Fernandez, M. & Nantes-Sobrinho, D., 29 Aug 2017, Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Proceedings. Springer Verlag, Vol. 10483 LNAI. p. 209-226 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10483 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution › peer-review

    Open Access
    File
    9 Citations (Scopus)
    215 Downloads (Pure)
  • 2010

    Preface

    Tratt, L. & Gogolla, M., 1 Jan 2010, Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings. Tratt, L. & Gogolla, M. (eds.). Springer Berlin Heidelberg, p. V-VI 2 p. (Lecture Notes in Computer Science; vol. 6142).

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

  • 2009

    Dynamically Typed Languages

    Tratt, L., 1 Jan 2009, Advances in Computers. Vol. 77. p. 149-184 36 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    45 Citations (Scopus)

  • Language factories

    Clark, T. & Tratt, L., 1 Jan 2009, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. p. 949-956 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    3 Citations (Scopus)
  • 2008

    Evolving a DSL implementation

    Tratt, L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 5235 LNCS. p. 425-441 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    8 Citations (Scopus)
  • 2007

    Formalising Design Patterns as Model Transformations

    Lano, K., 2007, Design Patterns Formalization Techniques. Taibi, T. (ed.). IGI Press

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    9 Citations (Scopus)
  • 2006

    A recursion combinator for nominal datatypes implemented in Isabelle/HOL

    Urban, C. & Berghofer, S., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4130 LNAI. p. 498-512 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    29 Citations (Scopus)

  • Model transformations in practice workshop

    Bézivin, J., Rumpe, B., Schürr, A. & Tratt, L., 1 Jan 2006, Lecture Notes in Computer Science : including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. Vol. 3844 LNCS. p. 120-127 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    36 Citations (Scopus)

  • The MT model transformation language

    Tratt, L., 1 Jan 2006, Proceedings of the ACM Symposium on Applied Computing. ACM Digital Library, Vol. 2. p. 1296-1303 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    12 Citations (Scopus)