Bill Venners

Lex Spoon

Martin Odersky

Presents an introduction to the new programming language for the Java Platform.

Programming in Scala

Scala By Example

Programming in Scala: Updated for Scala 2.12

Lothar Thiele

Yuri Gurevich

Philipp W. Kutter

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl ̈asser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ ̈ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.

International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

Abstract State Machines - Theory and Applications

Shriram Krishnamurthi

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 are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis.

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

Compiler Construction

Martin Odersky

About

Books

Join the club