Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Perdita Stevens. Softw Syst Model 19, 935–958, 2020. 2020 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Learning Weighted Automata over Principal Ideal Domains. FoSSaCS 2020. Lecture Notes in Computer Science, vol 12077. Learning Weighted Automata over Principal Ideal Domains. FoSSaCS 2020. Lecture Notes in Computer Science, vol 12077. Modular Relaxed Dependencies in Weak Memory Concurrency. Modular Relaxed Dependencies in Weak Memory Concurrency. The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic.
by