|
Showing 1 - 4 of
4 matches in All Departments
|
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers (Paperback, 2012 ed.)
Ricardo Pena, Marko Van Eekelen, Olha Shkaravska
|
R1,429
Discovery Miles 14 290
|
Ships in 10 - 15 working days
|
This book constitutes the refereed post-proceedings of the Second
International Workshop on Foundational and Practical Aspects of
Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011.
The 8 revised full papers were carefully reviewed and selected from
the papers presented at the workshop and papers submitted following
an open call for contributions after the workshop. The papers are
organized in the following topical sections: implicit complexity,
analysis and verfication of cost expressions, and worst case
execution time analysis.
|
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Paperback)
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
|
R1,589
Discovery Miles 15 890
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the Second
International Conference on Interactive Theorem proving, ITP 2011,
held in Berg en Dal, The Netherlands, in August 2011.
The 25 revised full papers presented were carefully reviewed and
selected from 50 submissions. Among the topics covered are
counterexample generation, verification, validation, term
rewriting, theorem proving, computability theory, translations from
one formalism to another, and cooperation between tools. Several
verification case studies were presented, with applications to
computational geometry, unification, real analysis, etc.
This book constitutes the proceedings of the 4th International
Workshop on Foundational and Practical Aspects of Resource
Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6
papers presented in this volume were carefully reviewed and
selected from 7 submissions.
Volume 6. This book presents latest research developments in the
area of functional programming. The contributions in this volume
cover a wide range of topics from theory, formal aspects of
functional programming, transformational and generic programming to
type checking and designing new classes of data types. Not all
papers in this book belong to the category of research papers.
Also, the categories of project description (at the start of a
project) and project evaluation (at the end of a project) papers
are represented. Particular trends in this volume are: . - software
engineering techniques such as metrics and refactoring for
high-level programming languages;. - generation techniques for data
type elements as well as for lambda expressions;. - analysis
techniques for resource consumption with the use of high-level
programming languages for embedded systems;. - widening and
strengthening of the theoretical foundations. The TFP community
(www.tifp.org) is dedicated to promoting new research directions
related to the field of functional programming and to investigate
the relationships of functional programming with other branches of
computer science. It is designed to be a platform for novel and
upcoming research
|
You may like...
Gloria
Sam Smith
CD
R407
Discovery Miles 4 070
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|