Closing the Gap between Modelling and Java
No abstract available.
Related papers
- Closing the Performance Gap Between Doubles and Rationals for Octagons SAS 2018
- Parametric completeness for separation theories POPL 2014
- A nonstandard standardization theorem POPL 2014
- Bridging the Gap Between Model-Based Development and Model Checking TACAS 2009
- Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design GPCE 2002
- A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing SLE 2022
- Bridging the gap between programming languages and hardware weak memory models POPL 2019
- Prefetch inection based on hardware monitoring and object metadata PLDI 2004