A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling
Abstract elided by the publisher.
Related papers
- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator TACAS 2023
- Computer-Assisted Microanalysis of Parallel Programs TOPLAS 1992
- A Modular Soundness Theory for the Blackboard Analysis Architecture ESOP 2024
- Derivations with Holes for Concept-Based Program Synthesis Onward! 2022
- From Natural Projection to Partial Model Checking and Back TACAS 2018
- AnnoDomini: From Type Theory to Year 2000 Conversion Tool POPL 1999
- Automatic generation of virtual learning spaces driven by CaVaDSL: an experience report GPCE 2017
- Bridging Control-Centric and Data-Centric Optimization CGO 2023