Title | ||
---|---|---|
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics |
Abstract | ||
---|---|---|
In [18] a ML-program for computations in category theory, including an implementation of the semantics of specification-building operations for the language CLEAR [6] is presented. We propose a similar approach but use object oriented methods to achieve better abstractness, reusability and efficiency. We prove correctness and the worst case time bounds of the basic algorithm computing colimits on set diagrams. We show how the comma category representations of signatures, specifications and attributed graphs suggests colimit algorithms on the corresponding diagrams. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/3-540-61629-2_62 | COMPASS/ADT |
Keywords | Field | DocType |
initial semantics,algebraic specification languages,structuring mechanisms,tool design,category theory | Specification language,Algebraic specification,Limit (category theory),Programming language,Computer science,Correctness,Action semantics,Comma category,Theoretical computer science,Language Of Temporal Ordering Specification,Category theory | Conference |
Volume | ISSN | ISBN |
1130 | 0302-9743 | 3-540-61629-2 |
Citations | PageRank | References |
1 | 0.39 | 8 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dietmar Wolz | 1 | 35 | 4.37 |