An Introduction to Trellis/Owl
No abstract available.
Related papers
- Concurrency Features for the Trellis/Owl Language ECOOP 1987
- The Trellis Programming Environment OOPSLA 1987
- Implementation of Distributed Trellis ECOOP 1993
- The Process Trellis Architectur for Real-Time Monitors PPoPP 1990
- Metacompiling OWL Ontologies SLE 2011
- Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions SLE 2024
- Reasoning of feature models from derived features GPCE 2012
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition CAV 2022