TRAPing Modelica with Python
No abstract available.
DOI 10.1007/978-3-540-49051-7_20
Related papers
- Modelica - A Unified Object-Oriented Language for System Modelling and Simulation ECOOP 1998
- Determining over- and under-constrained systems of equations using structural constraint delta GPCE 2006
- PolyBench/Python: benchmarking Python environments with polyhedral optimizations CC 2021
- Python Type Hints Are Turing Complete (Pearl/Brave New Idea) ECOOP 2023
- A Debugger-Cooperative Higher-Order Contract System in Python APLAS 2016
- Finding Reference-Counting Errors in Python/C Programs with Affine Analysis ECOOP 2014
- A Multilanguage Static Analysis of Python Programs with Native C Extensions SAS 2021
- PyCT: A Python Concolic Tester APLAS 2021