Edizione	[1st ed. 1994.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994
Descrizione fisica	1 online resource (VIII, 356 p.)
Disciplina	005.7/3
Collana	Lecture Notes in Computer Science
Soggetto topico	Software engineering Programming languages (Electronic computers) Computer logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs
ISBN	3-540-48361-6
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Towards an algebraic semantics for the object paradigm -- Rewriting techniques for software engineering -- Identity and existence, and types in algebra -- Overloading and inheritance -- A SMoLCS based kit for defining high-level algebraic Petri nets -- Institutions for very abstract specifications -- About the “correctness” and “adequacy” of PLUSS specifications -- Semantic constructions in the specification language Glider -- On certification of specifications for TROLL light objects -- Translating TROLL light concepts to Maude -- Algebraic high level nets -- 2-Categorical specification of partial algebras -- A behavioural algebraic framework for modular system design with reuse -- On fibred adjunctions and completeness for fibred categories -- Implementing inequality and nondeterministic specifications with bi-rewriting systems -- A semantic basis for logic-independent transformation -- Unified algebras and abstract syntax -- Structured inheritance for algebraic class specifications -- Towards a theory for the animation of algebraic specifications -- Second-order proof systems for algebraic specification languages -- An institution of object behaviour.
Record Nr.	UNISA-996466255203316

Edizione	[1st ed. 1991.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991
Descrizione fisica	1 online resource (VIII, 384 p.)
Disciplina	005.7/3
Collana	Lecture Notes in Computer Science
Soggetto topico	Computer programming Programming languages (Electronic computers) Computer logic Software engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering
ISBN	3-540-38416-2
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	ADT implementation and completion by induction from examples -- An association of Algebraic term nets and abstract data types for specifying real communication protocols -- The specification language GSBL -- Composition of algebraic high-level nets -- A match operation for rule-based modular system design -- Towards object-oriented algebraic specifications -- Inductive completion for transformation of equational specifications -- A notion of implementation for the specification language OBSCURE -- Model-theoretic specifications and back-and-forth equivalences -- Universal algebra in higher types -- Clausal rewriting: Applications and implementation -- Constraints for behavioural specifications -- Entities: An institution for dynamic systems -- A 2-category approach to critical pair completion -- A kernel specification formalism with higher-order parameterisation -- Extended ML: Past, present and future -- Dependent types considered necessary for specification languages -- Generic types in a language for data directed design -- Design of a compiler for lazy pattern driven narrowing.
Record Nr.	UNISA-996465662403316

Autore	Uhl Jürgen
Edizione	[1st ed. 1990.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990
Descrizione fisica	1 online resource (XIV, 344 p.)
Disciplina	005.7/3
Collana	Lecture Notes in Computer Science
Soggetto topico	Software engineering Programming languages (Electronic computers) Software Engineering Programming Languages, Compilers, Interpreters
ISBN	3-540-46777-7
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Motivation and objectives -- How to reuse abstract data types -- Structure of the catalogue -- Structure of the building blocks -- The building blocks -- Technical issues -- Case study: A file compression system.
Record Nr.	UNISA-996465589003316