Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Alex Knauth"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 2:1-29
We present lambda_sym, a typed λ-calculus for lenient symbolic execution , where some language constructs do not recognize symbolic values. Its type system, however, ensures safe behavior of all symbolic values in a program. Our calculus extends a b
Publikováno v:
POPL
We present Turnstile, a metalanguage for creating typed embedded languages. To implement the type system, programmers write type checking rules resembling traditional judgment syntax. To implement the semantics, they incorporate elaborations into the