Author:
Publisher:
ISBN: 9780897911757
Category :
Languages : en
Pages : 326
Book Description
Conference record / Annual ACM Symposium on Principles of Programming Languages. 13. St. Petersburg Beach, Florida, 13 - 15 January 1986
Recent Trends in Algebraic Development Techniques
Author: Martin Wirsing
Publisher: Springer
ISBN: 3540400206
Category : Computers
Languages : en
Pages : 464
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.
Publisher: Springer
ISBN: 3540400206
Category : Computers
Languages : en
Pages : 464
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.
Conference Record of POPL '96
Author:
Publisher: Pearson Education
ISBN: 9780897917698
Category : Computer programming
Languages : en
Pages : 438
Book Description
Publisher: Pearson Education
ISBN: 9780897917698
Category : Computer programming
Languages : en
Pages : 438
Book Description
The Compiler Design Handbook
Author: Y.N. Srikant
Publisher: CRC Press
ISBN: 142004057X
Category : Computers
Languages : en
Pages : 930
Book Description
The widespread use of object-oriented languages and Internet security concerns are just the beginning. Add embedded systems, multiple memory banks, highly pipelined units operating in parallel, and a host of other advances and it becomes clear that current and future computer architectures pose immense challenges to compiler designers-challenges th
Publisher: CRC Press
ISBN: 142004057X
Category : Computers
Languages : en
Pages : 930
Book Description
The widespread use of object-oriented languages and Internet security concerns are just the beginning. Add embedded systems, multiple memory banks, highly pipelined units operating in parallel, and a host of other advances and it becomes clear that current and future computer architectures pose immense challenges to compiler designers-challenges th
Journal of Programming Languages
Author:
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 300
Book Description
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 300
Book Description
Practical Aspects of Declarative Languages
Author: Manuel Hermenegildo
Publisher: Springer
ISBN: 3540305572
Category : Computers
Languages : en
Pages : 272
Book Description
This book constitutes the refereed proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. The 17 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 36 submissions. All current aspects of declarative programming are addressed including implementational issues and applications in areas such as database management, active networks, software engineering, decision support systems, and music composition.
Publisher: Springer
ISBN: 3540305572
Category : Computers
Languages : en
Pages : 272
Book Description
This book constitutes the refereed proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. The 17 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 36 submissions. All current aspects of declarative programming are addressed including implementational issues and applications in areas such as database management, active networks, software engineering, decision support systems, and music composition.
Author:
Publisher: Springer Nature
ISBN: 3031345185
Category :
Languages : en
Pages : 451
Book Description
Publisher: Springer Nature
ISBN: 3031345185
Category :
Languages : en
Pages : 451
Book Description
Verification, Model Checking, and Abstract Interpretation
Author: Cezara Dragoi
Publisher: Springer Nature
ISBN: 303124950X
Category : Computers
Languages : en
Pages : 401
Book Description
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Publisher: Springer Nature
ISBN: 303124950X
Category : Computers
Languages : en
Pages : 401
Book Description
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Software Engineering for Parallel and Distributed Systems
Author: IEEE Computer Society
Publisher: IEEE Computer Society Press
ISBN: 9780769506340
Category : Electronic data processing
Languages : en
Pages : 220
Book Description
Proceedings of a June 2000 symposium, addressing issues that face software developers working with parallel and distributed systems. Papers come from 10 different countries, representing worldwide interest in the topic. This year's meeting focuses on distributed systems development, reflecting the growth in the deployment and importance of large scale distributed applications. Subjects include scalability issues in CORBA, formalization and verification of coherence protocols with the gamma framework, a formalism for hierarchical mobile agents, and a case study of exploratory visualization of distributed computations. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
Publisher: IEEE Computer Society Press
ISBN: 9780769506340
Category : Electronic data processing
Languages : en
Pages : 220
Book Description
Proceedings of a June 2000 symposium, addressing issues that face software developers working with parallel and distributed systems. Papers come from 10 different countries, representing worldwide interest in the topic. This year's meeting focuses on distributed systems development, reflecting the growth in the deployment and importance of large scale distributed applications. Subjects include scalability issues in CORBA, formalization and verification of coherence protocols with the gamma framework, a formalism for hierarchical mobile agents, and a case study of exploratory visualization of distributed computations. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
Fundamenta Informaticae
Author: Polskie Towarzystwo Matematyczne
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 840
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 840
Book Description