Book Details

Multiparadigm Programming in Mozart

Publication year: 2005

ISBN: 978-3-540-31845-3

Internet Resource: Please Login to download book


Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting components), g- erality, and better interfaces (because the data?ow model automatically makes interfaces more lightweight). Constraint programming in Oz again yields simplicity and clarity (because theprogrammercanexpresswhatneedstobetrueratherthanthemorecomplex issue of how to make it true), and o?ers a powerful mathematical notation that is di?cult to implement on top of languages that do not support it natively. Mozart's distributed computing model makes for improved interfaces and eases the evolution of systems. In my own work, one of the most important concernsistobeabletoquicklyscaleupaprototypeimplementationintoalar- scale service that can run reliably on thousands of computers, serving millions of users.


Subject: Computer Science, Compiler, Mozart, Mozart, OZ, computer security, concurrent programming, distributed programming, formal specification, multi-paradigm programming, programming, programming language, programming systems, programming theory, software security, systems security, verification