Author: Association for Computing MachineryPublisher: Pearson Education
ISBN: 9780897918534
Category : Computers
Languages : en
Pages : 314
Book Description
Proceedings -- Parallel Computing.
Conference Record of POPL 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Author: Association for Computing MachineryPublisher: Pearson Education
ISBN: 9780897918534
Category : Computers
Languages : en
Pages : 314
Book Description
Proceedings -- Parallel Computing.
Conference Record of POPL '98
Author: Association for Computing MachineryPublisher: Association for Computing Machinery (ACM)
ISBN: 9780897919791
Category : Computers
Languages : en
Pages : 428
Book Description
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Florence, Italy, September 3-5, 2001
Author: Publisher: Pearson Education
ISBN: 9781581134155
Category : Computer science
Languages : en
Pages : 292
Book Description
Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming (ICFP '02)
Author: Publisher: Pearson Education
ISBN: 9781581134872
Category : Computer science
Languages : en
Pages : 298
Book Description
Automated Deduction – CADE-20
Author: Robert NieuwenhuisPublisher: Springer Science & Business Media
ISBN: 3540280057
Category : Computers
Languages : en
Pages : 470
Book Description
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Formal Logical Methods for System Security and Correctness
Author: Orna GrumbergPublisher: IOS Press
ISBN: 1586038435
Category : Business & Economics
Languages : en
Pages : 332
Book Description
Offers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees.
Foundations of Software Science and Computation Structures
Author: Igor WalukiewiczPublisher: Springer
ISBN: 3540247270
Category : Computers
Languages : en
Pages : 543
Book Description
ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues inv- ved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
A List of Successes That Can Change the World
Author: Sam LindleyPublisher: Springer
ISBN: 3319309366
Category : Computers
Languages : en
Pages : 501
Book Description
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift. We attempt to summarize Phil Wadler's scientific achievements. In addition, we describe the personal style and enthusiasm that Phil has brought to the subject.
Digital Rights Management
Author: Reihaneh Safavi-NainiPublisher: Springer
ISBN: 3540359990
Category : Computers
Languages : en
Pages : 367
Book Description
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Digital Rights Management: Technology, Issues, Challenges and Systems, DRMTICS 2005, held in Sydney, Australia, in October/November 2005. Presents 26 carefully reviewed full papers organized in topical sections on assurance and authentication issues, legal and related issues, expressing rights and management, watermarking, software issues, fingerprinting and image authentication, supporting cryptographic technology, P2P issues, implementations and architectures.
Recent Trends in Algebraic Development Techniques
Author: Martin WirsingPublisher: Springer Science & Business Media
ISBN: 3540205373
Category : Computers
Languages : en
Pages : 466
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.