Mathematics of program construction: [electronic resource] :: 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings /: Ralf Hinze, Janis Voigtländer (eds.).

Hinze, Ralf,; Voigtländer, Janis,

doi:10.1007/978-3-319-19797-5

Mathematics of program construction [electronic resource] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings / Ralf Hinze, Janis Voigtländer (eds.).

MPC (Conference) (12th : 2015 : Königswinter, Germany); Hinze, Ralf, editor.; Voigtländer, Janis, 1977- editor.

2015

QA76.6 .M63 2015eb

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Mathematics of program construction [electronic resource] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings / Ralf Hinze, Janis Voigtländer (eds.).

Meeting Name

MPC (Conference) (12th : 2015 : Königswinter, Germany)

ISBN

9783319197975 electronic book
3319197975 electronic book
9783319197968

DOI

https://doi.org/10.1007/978-3-319-19797-5

Published

Cham : Springer, 2015.

Language

English

Description

1 online resource (xiv, 323 pages) : illustrations.

Item Number

10.1007/978-3-319-19797-5 doi

Call Number

QA76.6 .M63 2015eb

Dewey Decimal Classification

005.101/51

Summary

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

Note

International conference proceedings.

Bibliography, etc. Note

Includes bibliographical references and author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed June 18, 2015).

Added Author

Hinze, Ralf, editor.
Voigtländer, Janis, 1977- editor.

Series

Lecture notes in computer science ; 9129.
LNCS sublibrary. SL 2, Programming and software engineering.