Zobrazeno 1 - 10
of 102
pro vyhledávání: '"Tratt, Laurence"'
Several open-source memory allocators have been ported to CHERI, a hardware capability platform. In this paper we examine the security and performance of these allocators when run under CheriBSD on Arm's experimental Morello platform. We introduce a
Externí odkaz:
http://arxiv.org/abs/2303.15130
Autor:
Diekmann, Lukas, Tratt, Laurence
Since composed grammars are often ambiguous, grammar composition requires a mechanism for dealing with ambiguity: either ruling it out by using delimiters (which are awkward to work with), or by using disambiguation operators to filter a parse forest
Externí odkaz:
http://arxiv.org/abs/1909.08557
Autor:
Diekmann, Lukas, Tratt, Laurence
Syntax errors are generally easy to fix for humans, but not for parsers in general nor LR parsers in particular. Traditional 'panic mode' error recovery, though easy to implement and applicable to any grammar, often leads to a cascading chain of erro
Externí odkaz:
http://arxiv.org/abs/1804.07133
Homogeneous generative meta-programming (HGMP) enables the generation of program fragments at compile-time or run-time. We present the first foundational calculus which can model powerful HGMP languages such as Template Haskell. The calculus is desig
Externí odkaz:
http://arxiv.org/abs/1602.06568
Publikováno v:
Object-Oriented Programming, Systems, Languages & Applications. October 2017, Pages 52:1--52:27
Virtual Machines (VMs) with Just-In-Time (JIT) compilers are traditionally thought to execute programs in two phases: the initial warmup phase determines which parts of a program would most benefit from dynamic compilation, before JIT compiling those
Externí odkaz:
http://arxiv.org/abs/1602.00602
While database management systems (DBMSs) are highly optimized, interactions across the boundary between the programming language (PL) and the DBMS are costly, even for in-process embedded DBMSs. In this paper, we show that programs that interact wit
Externí odkaz:
http://arxiv.org/abs/1512.03207
Publikováno v:
European Conference on Object-Oriented Programming (ECOOP). July 2016, Pages 3:1--3:27
Although run-time language composition is common, it normally takes the form of a crude Foreign Function Interface (FFI). While useful, such compositions tend to be coarse-grained and slow. In this paper we introduce a novel fine-grained syntactic co
Externí odkaz:
http://arxiv.org/abs/1503.08623
Autor:
Berger, Martin, Tratt, Laurence
Publikováno v:
Logical Methods in Computer Science, Volume 11, Issue 1 (March 6, 2015) lmcs:929
This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programming language. We show the applicability of our approach by reasoning ab
Externí odkaz:
http://arxiv.org/abs/1411.4256
Publikováno v:
Satellite Events at the MoDELS 2005 Conference, MoDELS 2005. J-M Bruel (Ed.), LNCS 3844. Springer, January 2006
Model Transformations in Practice (MTiP) 2005 was a workshop which provided a forum for the model transformation community to discuss practical model transformation issues. Although many different model transformation approaches have been proposed an
Externí odkaz:
http://arxiv.org/abs/1409.6611