Tomas Petricek - Böcker
Visar alla böcker från författaren Tomas Petricek. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Cultures of Programming
The Development of Programming Concepts and Methodologies
Inbunden, Engelska, 2026
1 126 kr
Skickas inom 7-10 vardagar
What defines a correct program? What education makes a good programmer? The answers to these questions depend on whether programs are seen as mathematical entities, engineered socio-technical systems or media for assisting human thought. Programmers have developed a wide range of concepts and methodologies to construct programs of increasing complexity. This book shows how those concepts and methodologies emerged and developed from the 1940s to the present. It follows several strands in the history of programming and interprets key historical moments as interactions between five different cultures of programming. Rooted in disciplines such as mathematics, electrical engineering, business management or psychology, the different cultures of programming have exchanged ideas and given rise to novel programming concepts and methodologies. They have also clashed about the nature of programming; those clashes remain at the core of many questions about programming today. This title is also available as Open Access on Cambridge Core.
Del 15500 - Lecture Notes in Computer Science
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice
Essays Dedicated to Alan Mycroft on the Occasion of His Retirement
Häftad, Engelska, 2025
1 204 kr
Skickas inom 10-15 vardagar
This Festschrift is dedicated to Alan Mycroft who formally retired from the University of Cambridge after almost 40 years. Following a BA in Mathematics from the University of Cambridge in 1977, Alan took the Diploma in Computer Science in 1978. He then completed a PhD in Edinburgh in 1981 on Abstract Interpretation and Optimising Transformations for Applicative Programs under the supervision of Rod Burstall and Robin Milner. After an EPSRC postdoctoral fellowship at Edinburgh and a research assistant position at Chalmers University, he returned to the University of Cambridge in 1984 and remained there until his retirement in 2023.Alan is well-known for pioneering contributions to programming language theory and applications, covering both design and implementation. His work ranges from compilation and optimisation techniques, through semantics, static analysis, and type systems, to parallel, concurrent, and dataflow programming. He co-created the Norcroft C compiler with Arthur Norman, he co-authored the book Java 8 in Action: Lambdas, Streams, and Functional-Style Programming, and he co-founded the Raspberry Pi Foundation, a hugely successful initiative to develop programming skills and thinking for all ages.In addition to his excellent research profile, Alan has been an inspiring teacher, mentor, and collaborator, always generous with encouragement and feedback. The impact and scope of his career is reflected in the breadth of topics in this volume, a fitting tribute to him.