Programming and Software Engineering

Multiparadigm Programming in Mozart/Oz

Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers

Editors: Van Roy, Peter (Ed.)

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-31845-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-25079-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (26 chapters)

  • The Development of Oz and Mozart

    Smolka, Gert

    Pages 1-1

  • The Structure of Authority: Why Security Is Not a Separable Concern

    Miller, Mark S. (et al.)

    Pages 2-20

  • The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language

    Spiessens, Fred (et al.)

    Pages 21-40

  • A Program Verification System Based on Oz

    Dony, Isabelle (et al.)

    Pages 41-52

  • Higher Order Programming for Unordered Minds

    Reinfelds, Juris

    Pages 53-65

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-31845-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-25079-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Multiparadigm Programming in Mozart/Oz
Book Subtitle
Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
Editors
  • Peter Van Roy
Series Title
Programming and Software Engineering
Series Volume
3389
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31845-3
DOI
10.1007/b106627
Softcover ISBN
978-3-540-25079-1
Edition Number
1
Number of Pages
XVI, 336
Topics