CASL: the Common Algebraic Specification Language. (Q1853453): Difference between revisions

@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ToolBus
@@ Property / describes a project that uses: ToolBus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ATERM
@@ Property / describes a project that uses: ATERM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UniForM
@@ Property / describes a project that uses: UniForM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3365224
@@ Property / cites work: Q3365224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722016
@@ Property / cites work: Q2722016 / rank @@
+Normal rank
@@ Property / cites work @@
+The discrete time TOOLBUS. -- A software coordination architecture
+Normal rank
@@ Property / cites work @@
+Q4702601
@@ Property / cites work: Q4702601 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic system specification and development. A survey and annotated bibliography
+Normal rank
@@ Property / cites work @@
+Architectural specifications in CASL
@@ Property / cites work: Architectural specifications in CASL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373553
@@ Property / cites work: Q4373553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702593
@@ Property / cites work: Q4702593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850736
@@ Property / cites work: Q4850736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995276
@@ Property / cites work: Q3995276 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Report on the Larch shared language
@@ Property / cites work: Report on the Larch shared language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2785427
@@ Property / cites work: Q2785427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of declarative programming. 10th international symposium, PLILP '98. Held jointly with the 6th international conference, ALP '98, Pisa, Italy, September 16--18, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Q2722029
@@ Property / cites work: Q2722029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729074
@@ Property / cites work: Q2729074 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+Q2722020
@@ Property / cites work: Q2722020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722021
@@ Property / cites work: Q2722021 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Parameterisation revisited
+Normal rank
@@ Property / cites work @@
+Q4725720
@@ Property / cites work: Q4725720 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Essential concepts of algebraic specification and program development
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Type Specification: Parameterization and the Power of Specification Techniques
+Normal rank
@@ Property / cites work @@
+Q2722018
@@ Property / cites work: Q2722018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00368-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2104169671
@@ Property / OpenAlex ID: W2104169671 / rank @@
+Normal rank