Felix Odersky's Books

Pattern Matching for an Object-oriented and Dynamically Typed Programming Language

By: Felix Geller,Robert Hirschfeld,Gilad Bracha

Write a review Read reviews Take a Quiz Solve Book Puzzle

Pattern Matching for an Object-oriented and Dynamically Typed Programming Language

By: Felix Geller,Robert Hirschfeld,Gilad Bracha

Pattern matching is a well-established concept in the functional programming community. It provides the means for concisely identifying and destructuring values of interest. This enables a clean separation of data structures and respective functionality, as well as dispatching functionality based on more than a single value. Unfortunately, expressive pattern matching facilities are seldomly incorporated in present object-oriented programming languages. We present a seamless integration of pattern matching facilities in an object-oriented and dynamically typed programming language: Newspeak. We describe language extensions to improve the practicability and integrate our additions with the existing programming environment for Newspeak. This report is based on the first author’s master’s thesis.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

100

Publisher

Universitätsverlag Potsdam

Published Date

ISBN 10

3869560657

ISBN 13

9783869560656

Hagenberg Business Process Modelling Method

By: Felix Kossak,Christa Illibauer,Verena Geist,Christine Natschläger,Thomas Ziebermayr,Bernhard Freudenthaler,Theodorich Kopetzky,Klaus-Dieter Schewe

Write a review Read reviews Take a Quiz Solve Book Puzzle

Hagenberg Business Process Modelling Method

By: Felix Kossak,Christa Illibauer,Verena Geist,Christine Natschläger,Thomas Ziebermayr,Bernhard Freudenthaler,Theodorich Kopetzky,Klaus-Dieter Schewe

This book presents a proposal for designing business process management (BPM) systems that comprise much more than just process modelling. Based on a purified Business Process Model and Notation (BPMN) variant, the authors present proposals for several important issues in BPM that have not been adequately considered in the BPMN 2.0 standard. It focusses on modality as well as actor and user interaction modelling and offers an enhanced communication concept. In order to render models executable, the semantics of the modelling language needs to be described rigorously enough to prevent deviating interpretations by different tools. For this reason, the semantics of the necessary concepts introduced in this book are defined using the Abstract State Machine (ASM) method. Finally, the authors show how the different parts of the model fit together using a simple example process, and introduce the enhanced Process Platform (eP2) architecture, which binds all the different components together. The resulting method is named Hagenberg Business Process Modelling (H-BPM) after the Austrian village where it was designed. The motivation for the development of the H-BPM method stems from several industrial projects in which business analysts and software developers struggled with redundancies and inconsistencies in system documentation due to missing integration. The book is aimed at researchers in business process management and industry 4.0 as well as advanced professionals in these areas.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

266

Publisher

Springer

Published Date

ISBN 10

3319304968

ISBN 13

9783319304960

EU Regulation on Succession and Wills

Commentary

By: Ulf Bergquist,Domenico Damascelli,Richard Frimston,Paul Lagarde,Felix Odersky,Barbara Reinhartz

Write a review Read reviews Take a Quiz Solve Book Puzzle

EU Regulation on Succession and Wills

Commentary

By: Ulf Bergquist,Domenico Damascelli,Richard Frimston,Paul Lagarde,Felix Odersky,Barbara Reinhartz

This concise article-by-article commentary discusses all the crucial points of the new EU Regulation No. 650/2012 of 4 July 2012 on cross-border estates, with particular focus on the following issues: the law applicable to a succession being the law of the State in which the deceased had his habitual residence at the time of death, which is also relevant for jurisdiction for contentious succession matters, election as to the applicable law, recognition and enforcement, authentic instruments, the European Certificate of Succession. This book turns the Regulation into an easily understandable text for all users, practitioners, academics or students and - authored by members of the experts group that formulated the Commission's draft proposal from six European countries - reflects perspectives from differing legal systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

390

Publisher

Verlag Dr. Otto Schmidt

Published Date

ISBN 10

3504080019

ISBN 13

9783504080013

Book's by Felix Odersky

Pattern Matching for an Object-oriented and Dynamically Typed Programming Language

Pattern Matching for an Object-oriented and Dynamically Typed Programming Language

Hagenberg Business Process Modelling Method

Hagenberg Business Process Modelling Method

EU Regulation on Succession and Wills

EU Regulation on Succession and Wills

Username

Password

Username

Password

Password again

Birthday

Email