Spatial Analysis of BioAmbients
No abstract available.
Related papers
- A New Occurrence Counting Analysis for BioAmbients APLAS 2005
- VoxLogicA: A Spatial Model Checker for Declarative Image Analysis TACAS 2019
- Generalized Records and Spatial Conjunction in Role Logic SAS 2004
- A component model of spatial locality ISMM 2009
- Spatial Interpolants ESOP 2015
- StencilFlow: Mapping Large Stencil Programs to Distributed Spatial Computing Systems CGO 2021
- Verifying spatial properties of array computations OOPSLA 2017
- High performance spatial data mining for very large data-sets PPoPP 2003