This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2006. The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on languages, implementation and linking, formal and modelling, concurrency, components, performance, and case studies.

New languages are constantly emerging, as existing languages diverge into different forms. To explain this fascinating process, we need to understand how languages change and how they emerge in children. In this pioneering study, David Lightfoot explains how languages come into being, arguing that children are the driving force. He explores how new systems arise, how they are acquired by children, and how adults and children play different, complementary roles in language change. Lightfoot makes an important distinction between 'external language' (language as it exists in the world), and 'internal language' (language as represented in an individual's brain). By examining the interplay between the two, he shows how children are 'cue-based' learners, who scan their external linguistic environment for new structures, making sense of the world outside in order to build their internal language. Engaging and original, this book offers an interesting account of language acquisition, variation and change.

Work on the movement of phrase categories, mostly Noun Phrases, has been a central element of syntactic theorizing almost since the earliest work on generative grammar. Work on the movement of lexical elements, heads, has been much less central until recent years. Verb movement is now, however, the center of current research in syntax. Parallel to the theoretical interest has been the attention focused on the description of verb-second languages and on the movement operations that place the verb in its "second" position. This volume represents the latest work from many of the leading researchers in an important field, and draws on analyses from a wide range of languages. It will have a significant impact on its field.

New languages are constantly emerging, as existing languages diverge into different forms. To explain this fascinating process, we need to understand how languages change and how they emerge in children. In this pioneering study, David Lightfoot explains how languages come into being, arguing that children are the driving force. He explores how new systems arise, how they are acquired by children, and how adults and children play different, complementary roles in language change. Lightfoot makes an important distinction between 'external language' (language as it exists in the world), and 'internal language' (language as represented in an individual's brain). By examining the interplay between the two, he shows how children are 'cue-based' learners, who scan their external linguistic environment for new structures, making sense of the world outside in order to build their internal language. Engaging and original, this book offers an interesting account of language acquisition, variation and change.

Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification. Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.