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 ...
|
|
|
|
Abstract:
The work presented in this thesis seeks to improve programmer productivity in the following ways: - by reducing the amount of code that has to be written to construct an application; - by increasing the reliability of the code written; and - by improving the programmer's understanding of the persistent environment in which applications are constructed. Two programming techniques that may be used to pursue these goals in a persistent environment are type-safe linguistic reflection and hyper-programming. The first provides a mechanism by which the programmer can write generators that, when executed, produce new program representations. This allows the specification of programs that are highly generic yet depend in non-trivial ways on the types of the data on which they operate. Genericity promotes software reuse which in turn reduces the amount of new code that has to be written. Hyper-programming allows a source program to contain links to data items in the persistent store. This improves program reliability ... : PhD Thesis, University of St Andrews. Supervisor: R. Morrison. (1992) ...
|
|
Keyword:
FOS Computer and information sciences; Programming Languages cs.PL; Software Engineering cs.SE
|
|
URL: https://dx.doi.org/10.48550/arxiv.1006.3481 https://arxiv.org/abs/1006.3481
|
|
BASE
|
|
Hide 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
|
|
|
|