An Algebraic Semantics for the Object Specification Language TROLL light

Authors:
Martin Gogolla;Rudolf Herzig
Affiliations:
-;-
Venue:
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Year:
1994

Algebraic Imperative Specifications

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Language Independent Container Specification

Selected Papers from the International Seminar on Generic Programming
Generic Facilities in Object-Oriented ASMs

ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
A survey of semantic description frameworks for programming languages

ACM SIGPLAN Notices

Hi-index	0.00