With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith Bishop during her long and continuing career as a leader in computer science education and research ? this book reflects on Dr Bishop?s outstanding contribution to computer science. Having worked at three different universities she now holds a leadership position in the research division of a major software company.
The topics covered reflect some of the transitions in her career. The dominant theme is programming languages, with chapters on object oriented programming, real-time programming, component programming and design patterns. Another major and related topic is compilers, with contributions on dataflow analysis, tree rewriting and keyword recognition. Finally, there are some additional chapters on other varied but highly interesting topics including smart homes, mobile systems and teaching computer science.
Author(s): Marco Autili, Paola Inverardi, Massimo Tivoli (auth.), Karin K. Breitman, R. Nigel Horspool (eds.)
Edition: 1
Publisher: Springer-Verlag London
Year: 2012
Language: English
Pages: 176
City: London ; New York
Tags: Software Engineering/Programming and Operating Systems; Programming Techniques; Programming Languages, Compilers, Interpreters
Front Matter....Pages I-XII
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures?....Pages 1-12
A Bestiary of Overlooked Design Patterns....Pages 13-17
End User Programming in Smart Home....Pages 19-29
Reconceptualizing Bottom-Up Tree Rewriting....Pages 31-44
Automated Adaptation of Component Interfaces with Type Based Adaptation....Pages 45-61
The Benefits of Bad Teaching....Pages 63-73
SSA-Based Simulated Execution....Pages 75-90
Towards a Calculus of Object Programs....Pages 91-127
Formal Specification as High-Level Programming: The ASSL Approach....Pages 129-146
Atomicity in Real-Time Computing....Pages 147-165
Tuning Keyword Pattern Matching....Pages 167-171
Back Matter....Pages 173-175
