With the recent developments in the C++ language, concepts are mostly discussed as a form of constrained polymorphism. Yet, concepts also allow for an alternative, implementation-independent view that comes from their origin in (algebraic) specification languages. In this paper, we return to this specification view on concepts and formalize C++ concepts as institutions, a well-established notion for precise specifications of software components. We argue that institutions form a suitable theoretical framework for software systems like libraries where the different parts establish relations that are captured by different logics, or no formal logic at all. Assuming the C++ concept descriptions, concept maps, and axioms as in the draft curre...
We reconsider the concept of specification in order to bring new insights into the debate of formal ...
We reconsider the concept of specification in order to bring new insights into the debate of formal ...
AbstractCategory theory provides an excellent foundation for studying structured specifications and ...
With the recent developments in the C++ language, concepts are mostly discussed as a form of constra...
Generic programming is an indispensable ingredient of modern programming languages. In the C++ prog...
: This paper presents a number of concepts of a mapping between logical systems modelled as institut...
: This paper presents a number of concepts of a mapping between logical systems modelled as institut...
Algebraic specification is the technique of using algebras to model properties of a system and using...
AbstractThis paper explores the definition, applications, and limitations of concepts and concept ma...
Let me start with a confession: I never properly learnt category theory, I never did any really non-...
Abstract. Generic programming is a paradigm for systematic design and classification of software com...
AbstractOne of the goals of software engineering is to provide what is necessary to write relevant, ...
AbstractA formalism for constructing and using axiomatic specifications in an arbitrary logical syst...
The theory of institutions constitutes an important application of category theory in computer scien...
none1noBeing part of the life of institutions requires a considerable amount of conceptual knowledge...
We reconsider the concept of specification in order to bring new insights into the debate of formal ...
We reconsider the concept of specification in order to bring new insights into the debate of formal ...
AbstractCategory theory provides an excellent foundation for studying structured specifications and ...
With the recent developments in the C++ language, concepts are mostly discussed as a form of constra...
Generic programming is an indispensable ingredient of modern programming languages. In the C++ prog...
: This paper presents a number of concepts of a mapping between logical systems modelled as institut...
: This paper presents a number of concepts of a mapping between logical systems modelled as institut...
Algebraic specification is the technique of using algebras to model properties of a system and using...
AbstractThis paper explores the definition, applications, and limitations of concepts and concept ma...
Let me start with a confession: I never properly learnt category theory, I never did any really non-...
Abstract. Generic programming is a paradigm for systematic design and classification of software com...
AbstractOne of the goals of software engineering is to provide what is necessary to write relevant, ...
AbstractA formalism for constructing and using axiomatic specifications in an arbitrary logical syst...
The theory of institutions constitutes an important application of category theory in computer scien...
none1noBeing part of the life of institutions requires a considerable amount of conceptual knowledge...
We reconsider the concept of specification in order to bring new insights into the debate of formal ...
We reconsider the concept of specification in order to bring new insights into the debate of formal ...
AbstractCategory theory provides an excellent foundation for studying structured specifications and ...