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 ...
|
|
|
|
Abstract:
In this work, we apply anomaly detection to source code and bytecode to facilitate the development of a programming language and its compiler. We define anomaly as a code fragment that is different from typical code written in a particular programming language. Identifying such code fragments is beneficial to both language developers and end users, since anomalies may indicate potential issues with the compiler or with runtime performance. Moreover, anomalies could correspond to problems in language design. For this study, we choose Kotlin as the target programming language. We outline and discuss approaches to obtaining vector representations of source code and bytecode and to the detection of anomalies across vectorized code snippets. The paper presents a method that aims to detect two types of anomalies: syntax tree anomalies and so-called compiler-induced anomalies that arise only in the compiled bytecode. We describe several experiments that employ different combinations of vectorization and anomaly ...
|
|
Keyword:
FOS Computer and information sciences; Machine Learning cs.LG; Programming Languages cs.PL; Software Engineering cs.SE
|
|
URL: https://arxiv.org/abs/2004.01618 https://dx.doi.org/10.48550/arxiv.2004.01618
|
|
BASE
|
|
Hide 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
|
|
|
|