Items where Author / Artist / Editor is "Tratt, Laurence"

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Krinke, Jens and Tratt, Laurence (2013) State-based model slicing: a survey. ACM Computing Surveys, 45 (4) . p. 53. ISSN 0360-0300 [Article] (doi:10.1145/2501654.2501667)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Hierons, Robert M., Li, Zheng and Tratt, Laurence (2013) Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering, 39 (7) . pp. 892-909. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2012.72)

Clark, Tony and Tratt, Laurence (2010) Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science, 253 (7) . pp. 75-88. ISSN 1571-0661 [Article] (doi:10.1016/j.entcs.2010.08.033)

Berger, Martin and Tratt, Laurence (2010) Program logics for homogeneous meta-programming. In: 16th International Conference on Logic for programming Artificial Intelligence and Reasoning (LPAR-16), April 25-May 1, 2010, Dakar, Senegal. . [Conference or Workshop Item]

Alzarouni, Khalid, Clark, David and Tratt, Laurence (2010) Semantic malware detection. Technical Report. King's College London, Department of Computer Science.. . [Monograph] (doi:TR-10-03)

Vasudevan, Naveneetha and Tratt, Laurence (2010) Comparative study of DSL tools. In: Workshop on Generative Technologies 2010, 27th March 2010, Paphos, Cyprus. . [Conference or Workshop Item]

Tratt, Laurence and Gogolla, Martin (2010) Theory and practice of model transformations: third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings. Lecture Notes in Computer Science, 6142 . ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-13688-7)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Gold, Nicolas, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) A theoretical and empirical study of EFSM dependence. Software Maintenance, 2009. ICSM 2009. IEEE International Conference . pp. 287-296. ISSN 1063-6773 [Article] (doi:10.1109/ICSM.2009.5306309)

Tratt, Laurence (2009) Dynamically typed languages. In: Advances in computers. Zelkowitz, Marvin V., ed. Elsevier, pp. 149-184. ISBN 9780123748126. [Book Section]

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) Control dependence for extended finite state machines. Lecture Notes in Computer Science, 5503 . pp. 216-230. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-00593-0_15)

Clark, Tony and Tratt, Laurence (2009) Language factories. In: Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications; Orlando, Florida, USA, October 25 - 29, 2009. Asscociation for Computing Machinery, pp. 949-956. ISBN 9781605587660. [Book Section] (doi:10.1145/1639950.1640062)

Tratt, Laurence (2008) A Change propagating model transformation language. Journal of Object Technology, 7 (3) . pp. 107-126. ISSN 1660-1769 [Article]

Tratt, Laurence (2008) Domain specific language implementation via compile-time meta-programming. ACM transactions on programming languages and systems, 30 (6) . pp. 1-40. ISSN 0164-0925 [Article] (doi:10.1145/1391956.1391958)

Tratt, Laurence (2008) Evolving a DSL implementation. Lecture Notes in Computer Science, 5235 . pp. 425-441. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-88643-3_11)

Tratt, Laurence (2007) Model transformations in MT. Science of Computer Programming, 68 (3) . pp. 169-186. ISSN 0167-6423 [Article] (doi:10.1016/j.scico.2007.05.003)

Tratt, Laurence and Wuyts, Roel (2007) Introduction [Dynamically typed languages: special ed.]. IEEE Software, 24 (5) . pp. 28-30. ISSN 0740-7459 [Article]

Fleutot, Fabien and Tratt, Laurence (2007) Contrasting compile-time meta-programming in metalua and converge. In: 3rd Workshop on Dynamic Languages and Applications (DYLA 2007), July 31 2007, Berlin. . [Conference or Workshop Item]

Harman, Mark and Tratt, Laurence (2007) Pareto optimal search based refactoring at the design level. In: 9th annual conference on Genetic and evolutionary computation conference (GEECO 2007), 7 - 11 July, 2007, University College, London. . [Conference or Workshop Item]

Tratt, Laurence (2006) The MT model transformation language. In: The 21st Annual ACM Symposium on Applied Computing, April 23 -27, 2006, Dijon. . [Conference or Workshop Item]

Bast, Wim, Murphree, Michael, Michael, Lawley, Duddy, Keith, Belaunde, Mariano, Griffin, Catherine, Sendall, Shane, Didier, Voitisiek, Steel, Jim, Sendall, Shane, Tratt, Laurence, Helsen, Simon, Venkatesh, R. and Blanc, Xavier (2005) MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. Project Report. Object Management Group. . [Monograph]

Tratt, Laurence (2005) Compile-time meta-programming in a dynamically typed OO language. In: Dynamic language symposium, 2005. Association for Computing Machinery (ACM Portal), New York, pp. 49-64. . [Book Section]

Tratt, Laurence (2005) Model transformations and tool integration. Software and Systems Modelling, 4 (2) . pp. 112-122. ISSN 1619-1366 [Article]

Tratt, Laurence (2005) The Converge programming language. Technical Report. King's College London, Department of Computer Science,. . [Monograph] (doi:TR-05-01)

Bézivin, Jean, Rumpe, Bernhard, Schürr, Andy and Tratt, Laurence (2005) Model transformations in practice workshop. In: Satellite Events at the MoDELS 2005 Conference. Bruel, Jean-Michel, ed. Lecture notes in computer science (3844) . Springer, pp. 120-127. ISBN 9783540317807. [Book Section] (doi:10.1007/11663430_13)

Tratt, Laurence (2004) Compile-time meta-programming in converge. Technical Report. King's College London, Department of Computer Science. . [Monograph] (doi:TR-04-11)

Tratt, Laurence and Clark, Tony (2003) Issues surrounding model consistency and QVT. Technical Report. King's College London, Department of Computer Science.. . [Monograph] (doi:TR-03-08)

Appukuttan, Biju K., Clark, Tony, Reddy, Sreedhar, Tratt, Laurence and Venkatesh, R. (2003) A pattern based model driven approach to model transformations. In: Metamodelling for MDA 2003: First International Workshop York, UK, November 2003: proceedings. Evans, Andy, Sammut, Paul and Willans, James S., eds. University of York, York, pp. 110-128. . [Book Section]

Tratt, Laurence and Clark, Tony (2003) Model transformations in converge. In: 2nd Workshop in Software Model Engineering (WiSME 2003), October 2003, San Francisco. . [Conference or Workshop Item]

Appukuttan, Biju K., Clark, Tony, Reddy, Sreedhar, Tratt, Laurence and Venkatesh, R. (2003) A model driven approach to building implementable model transformations. In: Workshop in Software Model Engineering (WiSME) 2003, October 2003, San Francisco. . [Conference or Workshop Item]

Appukuttan, Biju K., Clark, Tony, Tratt, Laurence, Reddy, Sreedhar, Venkatesh, R., Sammut, Paul, Evans, Andy, Sammut, Paul and Willans, James (2003) Revised submission for MOF 2.0 query / views / transformations RFP. Technical Report. Object Management Group. . [Monograph]

Appukuttan, Biju K., Clark, Tony, Reddy, Sreedhar, Tratt, Laurence and Venkatesh, R. (2003) A model driven approach to model transformations. In: Workshop on Model Driven Architecture: Foundations and Applications, 26-27 June 2003, University of Twente Enschede, The Netherlands. . [Conference or Workshop Item]

Tratt, Laurence and Clark, Tony (2003) Using icon-derived technologies to drive model transformations. In: Workshop in Software Model Engineering (WiSME) 2003, October 2003, San Francisco. . [Conference or Workshop Item]

Tratt, Laurence and Clark, Tony (2002) Enhancing the template mechanism. In: 1st Workshop in Software Model Engineering (WiSME 2002), 2002, Dresden. . [Conference or Workshop Item]

Appukuttan, Biju K., Clark, Tony, Evans, Andy, Maskeri, Girish, Sammut, Paul, Tratt, Laurence and Willans, James (2002) Unambiguous UML submission to UML 2 infrastructure RFP (ad/00-09-01). Working Paper. Object Management Group. . [Monograph]

Tratt, Laurence, Clark, Tony and Evans, Andy (2002) Modelling generalization and other class-to-parent relationships. Technical Report. Kings College. . [Monograph] (doi:TR-02-05)

Appukuttan, Biju K., Clark, Tony, Evans, Andy, Maskeri, Girish, Sammut, Paul, Tratt, Laurence and Willans, James (2002) A pattern based approach to defining the dynamic infrastructure of UML 2.0. In: Fourth workshop on Rigorous Object Oriented Methods,, March 2002, University College, London. . [Conference or Workshop Item]