Sciweavers

21 search results - page 2 / 5
» birthday 2000
Sort
View
BIRTHDAY
2000
Springer
13 years 9 months ago
Matrix-based Constructive Theorem Proving
Christoph Kreitz, Jens Otten, Stephan Schmitt, Bri...
BIRTHDAY
2000
Springer
13 years 9 months ago
Compiler Construction - The Art of Niklaus Wirth
Niklaus Wirth is not only a master of language design but also a pioneer of compiler construction. For four decades he has refined his techniques for building simple, efficient an...
Hanspeter Mössenböck
BIRTHDAY
2000
Springer
13 years 8 months ago
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
Pierre Collette, Cliff B. Jones
BIRTHDAY
2000
Springer
13 years 9 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
BIRTHDAY
2000
Springer
13 years 9 months ago
Niklaus Wirth - a Pioneer of Computer Science
Niklaus Wirth is one of the most influential scientists of the early computer age. His ideas and especially his programming languages have shaped generations of programmers worldw...
Gustav Pomberger, Hanspeter Mössenböck, ...