WorldCat Identities

Odersky, Martin

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

55 editions published between 2007 and 2016 in 4 languages and held by 422 WorldCat member libraries worldwide

Presents an introduction to the new programming language for the Java Platform
ECOOP 2004--object-oriented programming : 18th European conference, Oslo, Norway, June 14-18, 2004 : proceedings by Martin Odersky( Book )

19 editions published between 2003 and 2004 in English and held by 195 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 18th European Conference on Object-Oriented Programming, ECOOP 2004, held in Oslo, Norway in June 2004. The 25 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from a total of 132 submissions. The papers are organized in topical sections on encapsulation, program analysis, software engineering, aspects, middleware, types, verification, and systems
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( Book )

19 editions published between 2003 and 2007 in English and held by 134 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
A new approach to formal language definition and its application to Oberon by Martin Odersky( Book )

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

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings by Yuri Gurevich( )

6 editions published in 2000 in English and held by 29 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
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 27 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. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on - surveys of domain-specific programming technologies - domain-specific programming languages - tool support for program generation - domain-specific techniques for program optimization
Programming in Scala( )

1 edition published in 2010 in English and held by 10 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

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

Applying [phi] : towards a basis for concurrent imperative programming by Martin Odersky( )

2 editions published between 1994 and 1998 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

The call by need lambda calculus : (unabridged)( )

1 edition published in 1998 in English and held by 6 WorldCat member libraries worldwide

A second look at overloading( )

1 edition published in 1998 in English and held by 6 WorldCat member libraries worldwide

Type inference with constrained types( )

1 edition published in 1998 in English and held by 6 WorldCat member libraries worldwide

Proof of the principal type property for system O( )

1 edition published in 1998 in English and held by 6 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

Learning concurrent programming in Scala : learn the art of building intricate, modern, scalable concurrent applications using Scala by Aleksandar Prokopec( Book )

3 editions published in 2014 in English and held by 5 WorldCat member libraries worldwide

This book is a must-have tutorial for software developers aiming to write concurrent programs in Scala, or broaden their existing knowledge of concurrency. This book is intended for Scala programmers that have no prior knowledge about concurrent programming, as well as those seeking to broaden their existing knowledge about concurrency. Basic knowledge of the Scala programming language will be helpful. Readers with a solid knowledge in another programming language, such as Java, should find this book easily accessible
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming : 2000, Montreal Canada, September 18-21, 2000 by Martin Odersky( Book )

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

Scala in depth by Joshua D Suereth( Book )

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

Programming in Scala, Third Edition : by Martin Odersky( )

2 editions published in 2016 in English and held by 0 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. --
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.47 (from 0.12 for Learning c ... to 0.94 for Applying [ ...)

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
ECOOP 2004--object-oriented programming : 18th European conference, Oslo, Norway, June 14-18, 2004 : proceedingsCompiler 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 : proceedingsAbstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedingsProgramming in Scala