Download E-books Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993 PDF
By Stephen Brien (auth.), D. J. Andrews, J. F. Groote, C. A. Middelburg (eds.)
SoSL used to be the 1st overseas Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was once prepared by means of the dep. of Philosophy of Utrecht college with monetary aid from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and less than the auspices of the British machine Society'S expert staff in Formal features of Computing technological know-how (BCS FACS). the worry of the workshop used to be the semantics of specification languages, and the problems heavily on the topic of this sector, reminiscent of kind checking and the justification of evidence principles and facts tasks. Its target used to be the trade of difficulties and concepts during this box of formal tools, and the id of universal courses of labor for extra research. this system of SoSL consisted of three invited lectures offering the advancements of the semantics of three significant specification languages. additionally, there have been sixteen displays of submitted papers. This quantity presents an instantaneous account of the workshop. It includes three papers that fit the invited lectures and the sixteen chosen papers. The editors are looking to thank all those that have contributed to the workshop; this system Committee and the referees for choosing the contributed papers, the invited audio system for his or her fascinating talks, the Organizing Committee for all their efforts, and naturally the individuals. we've got the sensation that the workshop was once important and may be repeated.