Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Florence, Italy, September 3-5, 2001
Author:
Publisher: Pearson Education
Published: 2001
Total Pages: 292
ISBN-13: 9781581134155
DOWNLOAD EBOOKRead and Download eBook Full
Author:
Publisher: Pearson Education
Published: 2001
Total Pages: 292
ISBN-13: 9781581134155
DOWNLOAD EBOOKAuthor: Gregor Kiczales
Publisher: MIT Press
Published: 1991-07-30
Total Pages: 352
ISBN-13: 9780262610742
DOWNLOAD EBOOKThe authors introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. The CLOS metaobject protocol is an elegant, high-performance extension to the CommonLisp Object System. The authors, who developed the metaobject protocol and who were among the group that developed CLOS, introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. Kiczales, des Rivières, and Bobrow show that the "art of metaobject protocol design" lies in creating a synthetic combination of object-oriented and reflective techniques that can be applied under existing software engineering considerations to yield a new approach to programming language design that meets a broad set of design criteria. One of the major benefits of including the metaobject protocol in programming languages is that it allows users to adjust the language to better suit their needs. Metaobject protocols also disprove the adage that adding more flexibility to a programming language reduces its performance. In presenting the principles of metaobject protocols, the authors work with actual code for a simplified implementation of CLOS and its metaobject protocol, providing an opportunity for the reader to gain hands-on experience with the design process. They also include a number of exercises that address important concerns and open issues. Gregor Kiczales and Jim des Rivières, are Members of the Research Staff, and Daniel Bobrow is a Research Fellow, in the System Sciences Laboratory at Xerox Palo Alto Research Center.
Author: Stephen J. Young
Publisher: Ellis Horwood
Published: 1982
Total Pages: 360
ISBN-13:
DOWNLOAD EBOOKAuthor: J. B. Wordsworth
Publisher: Addison Wesley Longman
Published: 1996
Total Pages: 356
ISBN-13:
DOWNLOAD EBOOKThis is the definitive guide to software engineering with B--the generic name for the software development method invented by Jean-Raymond Abrial, and for the language and CASE tool developed by B-Core (UK) Ltd. The B-method is almost unique among formal software development methods in that it uses a single notation for specification, design and programming. Using tutorial examples, this practical guide can be applied to the whole software engineering life cycle. An accompanying disk allows the reader to experiment with program examples. Key features include: Gives a balanced coverage of the B-Method, the abstract machine notation (AMN) and the B-Toolkit Covers the complete software development process from specification through to production of programs Shows how to write informal descriptions of software components as state machines and how to formalize simple state machines using the abstract machine notation Covers the use of the B-Toolkit for entering, committing, analyzing and animating machines and for generating machines from systems definitions Provides a diskette containing the source text of the examples in the book for use with the B-Toolkit Is supported by supplementary material on the World Wide Web 0201403560B04062001
Author: Paul Hudak
Publisher: Cambridge University Press
Published: 2000-02-28
Total Pages: 390
ISBN-13: 9780521644082
DOWNLOAD EBOOKThis book teaches functional programming using Haskell and examples drawn from multimedia applications.
Author: Samuel P. Harbison
Publisher:
Published: 1992
Total Pages: 312
ISBN-13: 9780135963968
DOWNLOAD EBOOKThis book aims to provide a complete guide for programmers who want to learn how to write correct and maintainable programmes in the Modula-3 programming language - the newest member of the Pascal family of languages. The book describes the complete Modula-3 language, beginning with basics and progressing to more advanced features of the language. Coverage includes the basic language, declaration statements, types and procedures.
Author: Sally Shlaer
Publisher: Prentice Hall
Published: 1992
Total Pages: 280
ISBN-13:
DOWNLOAD EBOOKA companion book to Mellor and Shlaer's Object-Oriented Systems Analysis which covers the Information Modeling step, this book details in three step s a systematic method for investigating and defining real-time, scientific, and business-oriented systems. It explains the State Modeling step, the Process Modeling step, and the External Specifications step.
Author: Robin Milner
Publisher: MIT Press
Published: 1997
Total Pages: 132
ISBN-13: 9780262631815
DOWNLOAD EBOOKSoftware -- Programming Languages.
Author: R. J. A. Buhr
Publisher: Prentice Hall
Published: 1984
Total Pages: 282
ISBN-13:
DOWNLOAD EBOOK