WorldCat Identities

Odersky, Martin

Overview
Works: 70 works in 169 publications in 3 languages and 1,686 library holdings
Genres: Conference proceedings 
Roles: Author, Thesis advisor, Editor, Other, Creator
Classifications: QA267, 511.3
Publication Timeline
.
Most widely held works by Martin Odersky
Programming in Scala by Martin Odersky( Book )

38 editions published between 2008 and 2014 in English and Undetermined and held by 331 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 2005 in English and held by 236 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 )

16 editions published between 2003 and 2007 in English and held by 220 WorldCat member libraries worldwide

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 29 WorldCat member libraries worldwide

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

4 editions published in 2000 in English and held by 22 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( )

2 editions published in 2004 in English and held by 21 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

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 7 WorldCat member libraries worldwide

Sukara sukēraburu puroguramingu( Book )

5 editions published between 2009 and 2011 in Japanese 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

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

4 editions published in 1988 in English and held by 5 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

A second look at overloading by Martin Odersky( Book )

1 edition published in 1995 in German 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

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming 2000, Montreal Canada, September 18-21, 2000 by ACM SIGPLAN International Conference on Functional Programming( Book )

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

Learning concurrent programming in Scala : learn the art of building intricate, modern, scalable concurrent applications using Scala by Aleksandr Andreevich Prokofʹev( Book )

3 editions published in 2014 in English and held by 3 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
Scala in depth by Joshua D Suereth( Book )

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

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

2 editions published in 2000 in English and held by 0 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. Lecture Notes in Computer Science, Volume 4420( )

1 edition published in 2007 in English and held by 0 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.54 for Compiler c ... to 0.94 for MINOS : a ...)

Alternative Names
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
English (104)

Japanese (5)

German (3)

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