Report on the Larch shared language
Science of Computer Programming
The Stratified loose approach: a generalization of initial and loose semantics
Lecture notes in Computer Science on Recent trends in data type specification
GSBL: an algebraic specification language based on inheritance
on ECOOP '88 (European Conference on Object-Oriented Programming)
Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
STL tutorial and reference guide, second edition: C++ programming with the standard template library
STL tutorial and reference guide, second edition: C++ programming with the standard template library
The boost graph library: user guide and reference manual
The boost graph library: user guide and reference manual
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
Tecton: A Language for Manipulating Generic Objects
Program Specification, Proceedings of a Workshop
The Specification Language GSBL
Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification
Compiler-enforced memory semantics in the SACLIB computer algebra library
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Hi-index | 0.11 |
The Tecton concept description language provides constructs for building generic specifications incrementally, based mainly on the ability to use or refine concepts. This paper focuses on these constructs, the semantic distinctions between them, their role in determining the legality of concept instances, and their consequent role in motivating a certain style of specification. Differences in the legality conditions associated with instantiating a used or refined concept strongly motivate the specification writer toward a style in which concept use rather than refinement is favored.