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 |
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
7 |
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
10 |
Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
R Markdown Notebook and data for "Contrasting the semantics of Indonesian - kan and - i verb pairs: A usage-based, constructional approach" ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Pengantar Linguistik Korpus: Perpaduan Pendekatan Kualitatif dan Kuantitatif ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
R Markdown Notebook and data for "Contrasting the semantics of Indonesian - kan and - i verb pairs: A usage-based, constructional approach" ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Pengantar Linguistik Korpus: Perpaduan Pendekatan Kualitatif dan Kuantitatif ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
R Markdown Notebook for Vector space model and the usage patterns of Indonesian denominal verbs ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
R Markdown Notebook for Vector space model and the usage patterns of Indonesian denominal verbs ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
R Notebook for Metaphorical profiles and near-synonyms: A corpus-based study of Indonesian words for HAPPINESS ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|