A formal framework for software product lines
Information and Software Technology2013Vol. 55(11), pp. 1925–1947
Citations Over TimeTop 14% of 2013 papers
Related Papers
- → Validating Formal Semantics by Property-Based Cross-Testing(2020)5 cited
- → An operational semantics for TOOPLE: A statically-typed object-oriented programming language(1994)10 cited
- → Wrapper semantics of an object-oriented programming language with state(1991)25 cited
- → A Primer on Operational Semantics(2018)
- Semantics of Programming Languages (Second Edition)(2011)