Author: Felgentreff, Tim
Publisher: Universitätsverlag Potsdam
ISBN: 386956265X
Category :
Languages : en
Pages : 64
Book Description
Constraints allow developers to specify desired properties of systems in a number of domains, and have those properties be maintained automatically. This results in compact, declarative code, avoiding scattered code to check and imperatively re-satisfy invariants. Despite these advantages, constraint programming is not yet widespread, with standard imperative programming still the norm. There is a long history of research on integrating constraint programming with the imperative paradigm. However, this integration typically does not unify the constructs for encapsulation and abstraction from both paradigms. This impedes re-use of modules, as client code written in one paradigm can only use modules written to support that paradigm. Modules require redundant definitions if they are to be used in both paradigms. We present a language – Babelsberg – that unifies the constructs for en- capsulation and abstraction by using only object-oriented method definitions for both declarative and imperative code. Our prototype – Babelsberg/R – is an extension to Ruby, and continues to support Ruby’s object-oriented se- mantics. It allows programmers to add constraints to existing Ruby programs in incremental steps by placing them on the results of normal object-oriented message sends. It is implemented by modifying a state-of-the-art Ruby virtual machine. The performance of standard object-oriented code without con- straints is only modestly impacted, with typically less than 10% overhead compared with the unmodified virtual machine. Furthermore, our architec- ture for adding multiple constraint solvers allows Babelsberg to deal with constraints in a variety of domains. We argue that our approach provides a useful step toward making con- straint solving a generic tool for object-oriented programmers. We also provide example applications, written in our Ruby-based implementation, which use constraints in a variety of application domains, including interactive graphics, circuit simulations, data streaming with both hard and soft constraints on performance, and configuration file Management.
Babelsberg
Author: Felgentreff, Tim
Publisher: Universitätsverlag Potsdam
ISBN: 386956265X
Category :
Languages : en
Pages : 64
Book Description
Constraints allow developers to specify desired properties of systems in a number of domains, and have those properties be maintained automatically. This results in compact, declarative code, avoiding scattered code to check and imperatively re-satisfy invariants. Despite these advantages, constraint programming is not yet widespread, with standard imperative programming still the norm. There is a long history of research on integrating constraint programming with the imperative paradigm. However, this integration typically does not unify the constructs for encapsulation and abstraction from both paradigms. This impedes re-use of modules, as client code written in one paradigm can only use modules written to support that paradigm. Modules require redundant definitions if they are to be used in both paradigms. We present a language – Babelsberg – that unifies the constructs for en- capsulation and abstraction by using only object-oriented method definitions for both declarative and imperative code. Our prototype – Babelsberg/R – is an extension to Ruby, and continues to support Ruby’s object-oriented se- mantics. It allows programmers to add constraints to existing Ruby programs in incremental steps by placing them on the results of normal object-oriented message sends. It is implemented by modifying a state-of-the-art Ruby virtual machine. The performance of standard object-oriented code without con- straints is only modestly impacted, with typically less than 10% overhead compared with the unmodified virtual machine. Furthermore, our architec- ture for adding multiple constraint solvers allows Babelsberg to deal with constraints in a variety of domains. We argue that our approach provides a useful step toward making con- straint solving a generic tool for object-oriented programmers. We also provide example applications, written in our Ruby-based implementation, which use constraints in a variety of application domains, including interactive graphics, circuit simulations, data streaming with both hard and soft constraints on performance, and configuration file Management.
Publisher: Universitätsverlag Potsdam
ISBN: 386956265X
Category :
Languages : en
Pages : 64
Book Description
Constraints allow developers to specify desired properties of systems in a number of domains, and have those properties be maintained automatically. This results in compact, declarative code, avoiding scattered code to check and imperatively re-satisfy invariants. Despite these advantages, constraint programming is not yet widespread, with standard imperative programming still the norm. There is a long history of research on integrating constraint programming with the imperative paradigm. However, this integration typically does not unify the constructs for encapsulation and abstraction from both paradigms. This impedes re-use of modules, as client code written in one paradigm can only use modules written to support that paradigm. Modules require redundant definitions if they are to be used in both paradigms. We present a language – Babelsberg – that unifies the constructs for en- capsulation and abstraction by using only object-oriented method definitions for both declarative and imperative code. Our prototype – Babelsberg/R – is an extension to Ruby, and continues to support Ruby’s object-oriented se- mantics. It allows programmers to add constraints to existing Ruby programs in incremental steps by placing them on the results of normal object-oriented message sends. It is implemented by modifying a state-of-the-art Ruby virtual machine. The performance of standard object-oriented code without con- straints is only modestly impacted, with typically less than 10% overhead compared with the unmodified virtual machine. Furthermore, our architec- ture for adding multiple constraint solvers allows Babelsberg to deal with constraints in a variety of domains. We argue that our approach provides a useful step toward making con- straint solving a generic tool for object-oriented programmers. We also provide example applications, written in our Ruby-based implementation, which use constraints in a variety of application domains, including interactive graphics, circuit simulations, data streaming with both hard and soft constraints on performance, and configuration file Management.
Babelsberg/RML
Author: Felgentreff, Tim
Publisher: Universitätsverlag Potsdam
ISBN: 3869563486
Category : Computers
Languages : en
Pages : 72
Book Description
New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evaluation of concrete programming languages, these implementations need to be verified against the formalism of the design. To that end, we also have to ensure that the design actually meets its stated goals. A useful tool for the latter has been to create an executable semantics from a formalism that can execute a test suite of examples. However, this mechanism so far did not allow to verify an implementation against the design. Babelsberg is a new design for a family of object-constraint languages. Recently, we have developed a formal semantics to clarify some issues in the design of those languages. Supplementing this work, we report here on how this formalism is turned into an executable operational semantics using the RML system. Furthermore, we show how we extended the executable semantics to create a framework that can generate test suites for the concrete Babelsberg implementations that provide traceability from the design to the language. Finally, we discuss how these test suites helped us find and correct mistakes in the Babelsberg implementation for JavaScript.
Publisher: Universitätsverlag Potsdam
ISBN: 3869563486
Category : Computers
Languages : en
Pages : 72
Book Description
New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evaluation of concrete programming languages, these implementations need to be verified against the formalism of the design. To that end, we also have to ensure that the design actually meets its stated goals. A useful tool for the latter has been to create an executable semantics from a formalism that can execute a test suite of examples. However, this mechanism so far did not allow to verify an implementation against the design. Babelsberg is a new design for a family of object-constraint languages. Recently, we have developed a formal semantics to clarify some issues in the design of those languages. Supplementing this work, we report here on how this formalism is turned into an executable operational semantics using the RML system. Furthermore, we show how we extended the executable semantics to create a framework that can generate test suites for the concrete Babelsberg implementations that provide traceability from the design to the language. Finally, we discuss how these test suites helped us find and correct mistakes in the Babelsberg implementation for JavaScript.
Babelsberg
Author: Jürgen Bretschneider
Publisher:
ISBN:
Category : Motion pictures
Languages : en
Pages : 180
Book Description
Publisher:
ISBN:
Category : Motion pictures
Languages : en
Pages : 180
Book Description
Studio Babelsberg, the Film City in Potsdam, is 90
Author: Sabine Pahlke-Grygier
Publisher:
ISBN:
Category : Motion picture industry
Languages : en
Pages : 22
Book Description
Publisher:
ISBN:
Category : Motion picture industry
Languages : en
Pages : 22
Book Description
That was the Wild East
Author: Leonie Naughton
Publisher: University of Michigan Press
ISBN: 9780472088881
Category : Business & Economics
Languages : en
Pages : 296
Book Description
An illuminating exploration of the cultural politics of the East-West unification and its subsequent impact upon German filmmaking
Publisher: University of Michigan Press
ISBN: 9780472088881
Category : Business & Economics
Languages : en
Pages : 296
Book Description
An illuminating exploration of the cultural politics of the East-West unification and its subsequent impact upon German filmmaking
Hollywood Behind the Wall
Author: Daniela Berghahn
Publisher: Manchester University Press
ISBN: 9780719061721
Category : History
Languages : en
Pages : 312
Book Description
This book is a representative history of East German film culture from 1946 to the present, examining both DEFA's celebrated classics and the most acclaimed post-unification feature films by East German directors. As Berghahn shows, East German cinema occupies an ambivalent position between German national cinema on the one hand and East European and Soviet cinema on the other. It includes a wide-ranging exploration of post-unification cinema from East Germany, including cult films such as Sun Alley and Goodbye, Lenin! and provides contextualized readings of twenty significant films, referencing one hundred and ninety East German films in total, along with numerous West German and East European classics.
Publisher: Manchester University Press
ISBN: 9780719061721
Category : History
Languages : en
Pages : 312
Book Description
This book is a representative history of East German film culture from 1946 to the present, examining both DEFA's celebrated classics and the most acclaimed post-unification feature films by East German directors. As Berghahn shows, East German cinema occupies an ambivalent position between German national cinema on the one hand and East European and Soviet cinema on the other. It includes a wide-ranging exploration of post-unification cinema from East Germany, including cult films such as Sun Alley and Goodbye, Lenin! and provides contextualized readings of twenty significant films, referencing one hundred and ninety East German films in total, along with numerous West German and East European classics.
Envisioning Socialism
Author: Heather Gumbert
Publisher: University of Michigan Press
ISBN: 0472120026
Category : History
Languages : en
Pages : 255
Book Description
Envisioning Socialism examines television and the power it exercised to define the East Germans’ view of socialism during the first decades of the German Democratic Republic. In the first book in English to examine this topic, Heather L. Gumbert traces how television became a medium prized for its communicative and entertainment value. She explores the difficulties GDR authorities had defining and executing a clear vision of the society they hoped to establish, and she explains how television helped to stabilize GDR society in a way that ultimately worked against the utopian vision the authorities thought they were cultivating. Gumbert challenges those who would dismiss East German television as a tool of repression that couldn’t compete with the West or capture the imagination of East Germans. Instead, she shows how, by the early 1960s, television was a model of the kind of socialist realist art that could appeal to authorities and audiences. Ultimately, this socialist vision was overcome by the challenges that the international market in media products and technologies posed to nation-building in the postwar period. A history of ideas and perceptions examining both real and mediated historical conditions, Envisioning Socialism considers television as a technology, an institution, and a medium of social relations and cultural knowledge. The book will be welcomed in undergraduate and graduate courses in German and media history, the history of postwar Socialism, and the history of science and technologies.
Publisher: University of Michigan Press
ISBN: 0472120026
Category : History
Languages : en
Pages : 255
Book Description
Envisioning Socialism examines television and the power it exercised to define the East Germans’ view of socialism during the first decades of the German Democratic Republic. In the first book in English to examine this topic, Heather L. Gumbert traces how television became a medium prized for its communicative and entertainment value. She explores the difficulties GDR authorities had defining and executing a clear vision of the society they hoped to establish, and she explains how television helped to stabilize GDR society in a way that ultimately worked against the utopian vision the authorities thought they were cultivating. Gumbert challenges those who would dismiss East German television as a tool of repression that couldn’t compete with the West or capture the imagination of East Germans. Instead, she shows how, by the early 1960s, television was a model of the kind of socialist realist art that could appeal to authorities and audiences. Ultimately, this socialist vision was overcome by the challenges that the international market in media products and technologies posed to nation-building in the postwar period. A history of ideas and perceptions examining both real and mediated historical conditions, Envisioning Socialism considers television as a technology, an institution, and a medium of social relations and cultural knowledge. The book will be welcomed in undergraduate and graduate courses in German and media history, the history of postwar Socialism, and the history of science and technologies.
The city trip guide for Potsdam (Germany)
Author: YouGuide Ltd
Publisher: YouGuide Ltd
ISBN: 1837066353
Category : Travel
Languages : en
Pages : 83
Book Description
Publisher: YouGuide Ltd
ISBN: 1837066353
Category : Travel
Languages : en
Pages : 83
Book Description
British University Observatories, 1772-1939
Author: Roger Hutchins
Publisher: Ashgate Publishing, Ltd.
ISBN: 9780754632504
Category : History
Languages : en
Pages : 568
Book Description
This is the first full history of the six university observatories that undertook research before World War II - Oxford, Dunsink, Cambridge, Durham, Glasgow and London - and their struggle to evolve in the middle ground between the royal or government observatories, and those of the 'Grand Amateurs'. The book will intrigue anyone interested in the history of astronomy, of telescopes, of patronage networks, of scientific institutions, and of the history of universities.
Publisher: Ashgate Publishing, Ltd.
ISBN: 9780754632504
Category : History
Languages : en
Pages : 568
Book Description
This is the first full history of the six university observatories that undertook research before World War II - Oxford, Dunsink, Cambridge, Durham, Glasgow and London - and their struggle to evolve in the middle ground between the royal or government observatories, and those of the 'Grand Amateurs'. The book will intrigue anyone interested in the history of astronomy, of telescopes, of patronage networks, of scientific institutions, and of the history of universities.
Remapping Cold War Media
Author: Alice Lovejoy
Publisher: Indiana University Press
ISBN: 0253062225
Category : Social Science
Languages : en
Pages : 381
Book Description
Why were Hollywood producers eager to film on the other side of the Iron Curtain? How did Western computer games become popular in socialist Czechoslovakia's youth paramilitary clubs? What did Finnish commercial television hope to gain from broadcasting Soviet drama? Cold War media cultures are typically remembered in terms of an East-West binary, emphasizing conflict and propaganda. Remapping Cold War Media, however, offers a different perspective on the period, illuminating the extensive connections between media industries and cultures in Europe's Cold War East and their counterparts in the West and Global South. These connections were forged by pragmatic, technological, economic, political, and aesthetic forces; they had multiple, at times conflicting, functions and meanings. And they helped shape the ways in which media circulates today—from film festivals, to satellite networks, to coproductions. Considering film, literature, radio, photography, computer games, and television, Remapping Cold War Media offers a transnational history of postwar media that spans Eastern and Western Europe, the Nordic countries, Cuba, the United States, and beyond. Contributors draw on extensive archival research to reveal how media traveled across geopolitical boundaries; the processes of translation, interpretation, and reception on which these travels depended; and the significance of media form, content, industries, and infrastructures then and now.
Publisher: Indiana University Press
ISBN: 0253062225
Category : Social Science
Languages : en
Pages : 381
Book Description
Why were Hollywood producers eager to film on the other side of the Iron Curtain? How did Western computer games become popular in socialist Czechoslovakia's youth paramilitary clubs? What did Finnish commercial television hope to gain from broadcasting Soviet drama? Cold War media cultures are typically remembered in terms of an East-West binary, emphasizing conflict and propaganda. Remapping Cold War Media, however, offers a different perspective on the period, illuminating the extensive connections between media industries and cultures in Europe's Cold War East and their counterparts in the West and Global South. These connections were forged by pragmatic, technological, economic, political, and aesthetic forces; they had multiple, at times conflicting, functions and meanings. And they helped shape the ways in which media circulates today—from film festivals, to satellite networks, to coproductions. Considering film, literature, radio, photography, computer games, and television, Remapping Cold War Media offers a transnational history of postwar media that spans Eastern and Western Europe, the Nordic countries, Cuba, the United States, and beyond. Contributors draw on extensive archival research to reveal how media traveled across geopolitical boundaries; the processes of translation, interpretation, and reception on which these travels depended; and the significance of media form, content, industries, and infrastructures then and now.