Memory S Edge Part 1

Memories of War in Early Modern England

This book examines literary depictions of the construction and destruction of the armored male body in combat in relation to early modern English understandings of the past. Bringing together the fields of material culture and militarism, Susan Harlan argues that the notion of “spoiling” – or the sanctioned theft of the arms and armor of the vanquished in battle – provides a way of thinking about England’s relationship to its violent cultural inheritance. She demonstrates how writers reconstituted the spoils of antiquity and the Middle Ages in an imagined military struggle between male bodies. An analysis of scenes of arming and disarming across texts by Christopher Marlowe and William Shakespeare and tributes to Sir Philip Sidney reveals a pervasive militant nostalgia: a cultural fascination with moribund models and technologies of war. Readers will not only gain a better understanding of humanism but also a new way of thinking about violence and cultural production in Renaissance England.

Tools and Algorithms for the Construction and Analysis of Systems

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized in topical sections named: decision procedures and their application in analysis; complexity and termination analysis; modeling and model checking discrete systems; timed and hybrid systems; monitoring, fault detection and identification; competition on software verification; specifying and checking linear time properties; synthesis and learning; quantum and probabilistic systems; as well as tool demonstrations and case studies.

Memory's Edge: Part 1