Sound refactorings (Q2266944): Difference between revisions

@@ Property / describes a project that uses @@
+Eiffel
@@ Property / describes a project that uses: Eiffel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2009.10.001
+Normal rank
@@ Property / OpenAlex ID @@
+W4213383600
@@ Property / OpenAlex ID: W4213383600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708513
@@ Property / cites work: Q4708513 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic reasoning for object-oriented programming
+Normal rank
@@ Property / cites work @@
+Q4493905
@@ Property / cites work: Q4493905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844832
@@ Property / cites work: Q2844832 / rank @@
+Normal rank
@@ Property / cites work @@
+Using CafeOBJ to Mechanise Refactoring Proofs and Application
+Normal rank
@@ Property / cites work @@
+Pointers and Records in the Unifying Theories of Programming
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Object-Orientation in the UTP
@@ Property / cites work: Object-Orientation in the UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122689
@@ Property / cites work: Q3122689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808846
@@ Property / cites work: Q4808846 / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of data flow frameworks: A unified model
+Normal rank
@@ Property / cites work @@
+Q2848452
@@ Property / cites work: Q2848452 / rank @@
+Normal rank
@@ Property / cites work @@
+Static composition of refactorings
@@ Property / cites work: Static composition of refactorings / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2266944