2 |
PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Super-Languages: Developing Languages and Applications with XMF (Second Edition) ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
A Language Support for Exhaustive Fault-Injection in Message-Passing System Models ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Denotational Semantics of A User-Oriented, Domain-Specific Language ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Reflection and Hyper-Programming in Persistent Programming Systems ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Creating Textual Language Dialects Using Aspect-like Techniques ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
From Syntactic Theories to Interpreters: A Specification Language and Its Compilation ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|