WorldCat Identities

Odersky, Martin

Overview
Works: 73 works in 222 publications in 4 languages and 3,865 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Thesis advisor, Editor, dgs, Author of introduction, Other, Creator
Publication Timeline
.
Most widely held works by Martin Odersky
Programming in Scala by Martin Odersky( )

63 editions published between 2007 and 2016 in 4 languages and held by 1,802 WorldCat member libraries worldwide

Presents an introduction to the new programming language for the Java Platform
Learning concurrent programming in Scala : learn the art of building intricate, modern, scalable concurrent applications using Scala by Aleksandar Prokopec( )

7 editions published between 2014 and 2017 in English and held by 634 WorldCat member libraries worldwide

Compiler construction : 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings by Shriram Krishnamurthi( )

17 editions published between 2003 and 2007 in English and held by 547 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in March 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis
ECOOP 2004--object-oriented programming : 18th European conference, Oslo, Norway, June 14-18, 2004 : proceedings by Martin Odersky( )

20 editions published between 2003 and 2005 in English and held by 378 WorldCat member libraries worldwide

ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully refereed technical - pers, practitioner reports re?ecting real-world experience, panels, topic-focused workshops, demonstrations, and an interactive posters session. The 18th ECOOP 2004 conference held during June 14-18, 2004 in Oslo, Norway represented another year of continued success in object-oriented p- gramming, both as a topic of academic study and as a vehicle for industrial software development. Object-oriented technology has come of age; it is now the commonly established method for most software projects. However, an - panding?eld of applications and new technological challenges provide a strong demand for research in foundations, design and programming methods, as well as implementation techniques. There is also an increasing interest in the in- gration of object-orientation with other software development techniques. We anticipate therefore that object-oriented programming will be a fruitful subject of research for many years to come. Thisyear, theprogramcommitteereceived132submissions, ofwhich25were acceptedforpublicationafterathoroughreviewingprocess. Everypaperreceived atleast4reviews. Paperswereevaluatedbasedonrelevance, signi?cance, clarity, originality, and correctness. The topics covered include: programming concepts, program analysis, software engineering, aspects and components, middleware, veri?cation, systems and implementation techniques. These were complemented by two invited talks, from Matthias Felleisen and Tom Henzinger. Their titles and abstracts are also included in these proceedings
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings by Yuri Gurevich( )

7 editions published in 2000 in English and held by 132 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000. The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines
Scala in depth by Joshua D Suereth( )

3 editions published in 2012 in English and held by 83 WorldCat member libraries worldwide

Programming in Scala, Third Edition by Martin Odersky( )

2 editions published in 2016 in English and held by 56 WorldCat member libraries worldwide

Taking a step-by-step tutorial approach to teaching you Scala, this exciting book introduces functional programming from the practitioner's perspective, and describes advanced language features that can make you a better, more productive developer. --
Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers by Christian Lengauer( )

3 editions published between 2004 and 2005 in English and held by 38 WorldCat member libraries worldwide

Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003
A new approach to formal language definition and its application to Oberon by Martin Odersky( Book )

6 editions published in 1989 in English and held by 31 WorldCat member libraries worldwide

Proceedings of the fifth ACM SIGPLAN international conference on Functional programming by Martin Odersky( )

3 editions published between 2000 and 2004 in English and held by 15 WorldCat member libraries worldwide

Programming in Scala( )

1 edition published in 2010 in English and held by 10 WorldCat member libraries worldwide

Recursive data types and report on the Mona notation for algorithms by Martin Odersky( Book )

5 editions published in 1989 in English and held by 9 WorldCat member libraries worldwide

Sukara sukeraburu puroguramingu( Book )

7 editions published between 2009 and 2016 in Japanese and held by 9 WorldCat member libraries worldwide

Programming in Scala : A Comprehensive Step-by-Step Guide by Martin Odersky( Book )

2 editions published between 2008 and 2016 in English and held by 7 WorldCat member libraries worldwide

MINOS : a new approach to the design of an input/output library for Modula-2 by Martin Odersky( Book )

5 editions published in 1988 in English and held by 6 WorldCat member libraries worldwide

Type inference with constrained types by Martin Sulzmann( Book )

1 edition published in 1996 in English and held by 5 WorldCat member libraries worldwide

Proof of the principal type property for system O by Martin Wehr( Book )

1 edition published in 1996 in English and held by 5 WorldCat member libraries worldwide

The call-by-need lambda calculus (unabridged) by John Maraist( Book )

2 editions published in 1994 in German and English and held by 5 WorldCat member libraries worldwide

A second look at overloading by Martin Odersky( Book )

1 edition published in 1995 in German and held by 5 WorldCat member libraries worldwide

Process calculus foundation of sequential programming constructs by Martin Odersky( Book )

1 edition published in 1994 in German and held by 4 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.32 (from 0.14 for Learning c ... to 0.93 for MINOS : a ...)

Programming in ScalaProgramming in Scala
Alternative Names
Martin Odersky Duits informaticus

Martin Odersky German computer scientist and professor

Martin Odersky informatyk niemiecki

Martin Odersky tysk ingeniør og informatikar

Martin Odersky tysk ingeniør og informatiker

Martin Odersky tysk ingenjör och datavetare

Odersky, M.

Мартін Одерски

Одерски, Мартин

מרטין אודרסקי

마틴 오더스키

オダースキー, マーティン

マーティン・オーダスキー

Languages
Covers
Compiler construction : 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedingsECOOP 2004--object-oriented programming : 18th European conference, Oslo, Norway, June 14-18, 2004 : proceedingsAbstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedingsProgramming in ScalaProgramming in Scala : A Comprehensive Step-by-Step Guide