Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings (Lecture Notes in Computer Science)

In translating the second edition of his book on high voltage measurement techniques from the original German published also in English Russian and Chinese the author has added a number of revisions and late developments inthe fields of high voltage technology electric energy systems and pulsepower A survey of measurement techniques for nonsinusoidal rapidly changing high voltages and high currents seemed particularly desireable since power pulses are employed more frequently outside the normal electronics Special attention has been given to high voltage probes high current shunts fast electrical and optical diagnostic principles transient recorders electromagnetic compatibility in high voltage laboratories etc This volume contains the proceedings of the SeventhInternational Conferenceon the Mathematical Foundations ofProgramming Semantics held at Carnegie Mellon University March 1991 The conference continued a series of annual meetings alternating between workshop and conference formats intended to bring together computer scientists andmathematicians for discussion of research problems resultsand directions in programming language semantics and relatedareas A major goalof the series is to improvecommunication and interaction between researchers in theseareas and to establish ties between related areas ofresearch The volume contains revised and refereed versions of each ofthe contributed papers and refereed papers by three invitedspeakers Jon Barwise John Reynolds and Mitchell Wand