Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Programming Languages and their Definition: Selected Papers (Lecture Notes in Computer Science) (v. 177)

Buy

The IBM Vienna Laboratory has made a significant contribution to the work on the semantic description of computer systems. Both the operational semantics descriptions ("VDL") and the later work on denotational semantics ("Meta-IV", "VEM") contain interesting scientific ideas. Partly because of the large scale of the applications tackled, much of the material is difficult to access.

Hans Bekic was one of the key members of the "Vienna Lab". His tragic death in a mountain accident in October 1982 left unpublished an important body of research. (The editorial notes below contain further details of his scientific career; a biographical note has been written by Professors Kulch and Zemanek).

Hans' computer research can be considered under three headings. His work on programming languages took place partly within IPIP WG 2.1 of which he was a member from 1965-1971. He also had an influence on the development of PVI. Hans was a mathematician and so moved naturally to research on formal language description. Most of his scientific career was spent on this work. Hans was largely responsible for the move by the Vienna Lab from operational to denotational semantics. He was a member of IPIP WG 2.2 from 1969 until his death. Work on the description of parallelism occupied the last years of Hans' life. This was a difficult period in whicSi the laboratory was employed on practical programing tasks: Hans pursued his scientific work in his "spare time".

This book contains a selection of Hans Bekic's papers. Publication of his specific contribution presents special problems. Much of hie work was unpublished and even, in some cases, existed only as hand written manuscripts. Sometimes Hans postponed publication because he considered a piece of work to be flawed» in other cases - it must be conceded - his habit of leaving things to the last minute resulted in his missing a deadline for publication. In spite of this, Hans' work has been widely circulated and has influenced others. His untimely death means that he cannot complete the work in the way he would have wished.

After discussions with his family, friends and colleagues, it was decided that it would be valuable to publish a selection of Hans' papers. To alleviate any fear that he would not have wished them to be published in this form, his own reservations - where known - have been included. A list of all known writings and main talks on computer topics is given below (book reviews etc. are not listed)» the most important papers are reproduced.

(HTML tags aren't allowed.)

Magill's Encyclopedia of Science: Animal Life
Magill's Encyclopedia of Science: Animal Life
This four-volume set of encyclopaedias offers accessible information on the animal kingdom. Entries focus on non-humans from the animal kingdom, from insects to reptiles to mammals. Early humans are addressed in an evolutionary context, and modern humans are included only for interspecies comparison or for their efforts to coexist with other...
Next Generation Network Services: Technologies & Strategies
Next Generation Network Services: Technologies & Strategies
'Next Generation' refers to the new technologies and services that telecommunications operators will have at their disposal as they create new 3G networks where voice and data converge and which are based on packet switched rather than circuit switched telephony.

Providing a much needed overview of the latest communication technologies
...
Windows 7 For Dummies (Computer/Tech)
Windows 7 For Dummies (Computer/Tech)

The perfect plain-English guide to the much-anticipated release of Windows 7

Windows For Dummies is the all-time bestselling guide to the Windows operating system. Windows 7 For Dummies answers all your questions about the interface adjustments and all the new tools in Windows 7.

Whether you're new to...


Entrepreneurship Three Volumes: The Engine of Growth (Praeger Perspectives) (v. 1-3)
Entrepreneurship Three Volumes: The Engine of Growth (Praeger Perspectives) (v. 1-3)
“This three-volume set brings together 32 essays exploring the topic of entrepreneurship. The first volume explores entrepreneurship as a form of human action, examining the influence of various factors on entrepreneurial behavior, including cognition, risk, social capital, institutions, immigration and ethnicity, and gender. The second...
The Leadership Brain For Dummies
The Leadership Brain For Dummies

Discover how scientific knowledge of the brain can make you a better leader

Based upon the latest breakthroughs in neuroscience and advances in brain-based education, Leadership Brain For Dummies gives you the edge to influence, lead, and transform any team or organization.

Drawing concrete connections between the...

Discrete Mathematics for Computer Scientists
Discrete Mathematics for Computer Scientists

Many colleges and universities offer a course in discrete mathematics. Students taking these courses are from many disciplines, one of the largest being computer science. As a part of the Mathematics Across the Curriculum project at Dartmouth, supported by the National Science Foundation,1 we proposed to create a discrete mathematics...

©2020 LearnIT (support@pdfchm.net) - Privacy Policy