Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0958.18002
Oriat, C.
Study of modular specifications. Constructions of finite colimits diagrams, isomorphisms. II. (Étude des spécifications modulaires. Constructions de colimites finies, diagrammes, isomorphismes. II.) (French)
[J] Diagrammes 40, 71 p. (1998). ISSN 0224-3911

The present article is the second part the work [{\it C. Oriat}, Diagrammes 39 (1998; Zbl 0958.18001), see the review above]. This second part is devoted to the definition of the syntax of modular specifications.
[A.Maggiolo-Schettini (Pisa)]

MSC 2000:: *18C50 Categorical semantics of formal languages
68Q65 Abstract data types; algebraic specification
18A30 Limits
18A10 Generalizations of the notion of category
68Q60 Specification and verification of programs

Keywords: specifications; modularity; diagrams; colimits; modular specifications

Citations: Zbl 0958.18001; Zbl 0958.18003

Cited in: Zbl 0958.18003 Zbl 0958.18001

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]