Laurence Tratt

Laurence Tratt

Dr

  • Phone87997
  • 1130
    Citations
Filter
Chapter

Search results

  • 2013

    Detecting ambiguity in programming language grammars

    Vasudevan, N. & Tratt, L., 2013, Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Erwig, M. E., Paige, R. F. & Van Wyk, E. (eds.). p. 157-176 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    10 Citations (Scopus)
  • 2010

    Program logics for homogeneous meta-programming

    Berger, M. & Tratt, L., 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference. Clarke, E. & Voronkov, A. (eds.). BERLIN: Springer, Vol. 6355. p. 64-81 18 p. (Lecture Notes in Computer Science; vol. 6355).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    10 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.