0
Your cart

Your cart is empty

Browse All departments
  • All departments
Price
  • R500 - R1,000 (1)
  • R1,000 - R2,500 (4)
  • -
Status
Brand

Showing 1 - 5 of 5 matches in All departments

Trends in Functional Programming V 6 (Paperback): Marko Van Eekelen Trends in Functional Programming V 6 (Paperback)
Marko Van Eekelen
R884 Discovery Miles 8 840 Shipped within 7 - 12 working days

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

Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The... Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers (Paperback, Edition.)
Marko Van Eekelen, Olha Shkaravska
R1,327 R1,081 Discovery Miles 10 810 Save R246 (19%) Shipped within 7 - 12 working days

The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time,space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent characterizations of c- plexity classes, logics closely related to complexity classes, type systems for c- trolling complexity, semantic methods to analyze resources,including quasi- and sup-interpretations, practical applications of resource analysis, etc. This ?rst FOPARA brought two di?erent groups of researchers together. In 2006 and 2008 informal application-oriented resource analysis workshops (an EmBoundedOpen WorkshopinBudapest,2006,andaResourceAnalysisWo- shop in Hertfordshire, 2008) were held as a?liated events of the International Symposium on the Implementation and Application of Functional Languages (IFL). Participants in these workshops were the University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig Maximilians University of Munich (Germany), Complutense University of Madrid (Spain) and the Po- technical University of Madrid (Spain). Another group of researchers was active in the series of informal workshops on implicit computational complexity (see, for instance, WICC 2008 in Paris). That series gathers researchers working in theoretical foundations of resource analysis, mainly from France (universities of ParisDiderotandParisNord,LORIANancy),Italy(universitiesofBolognaand Turin), Norway, Germany and Portugal.

Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011,... 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,347 R1,182 Discovery Miles 11 820 Save R165 (12%) Shipped within 7 - 12 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.

Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015.... Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers (Paperback, 1st ed. 2016)
Ugo Dal Lago, Marko Van Eekelen
R1,115 R1,023 Discovery Miles 10 230 Save R92 (8%) Shipped within 7 - 12 working days

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.

Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19,... 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,103 Discovery Miles 11 030 Shipped within 7 - 11 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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Loot
Nadine Gordimer Paperback  (2)
R297 R230 Discovery Miles 2 300
Reebok Wrist Water Bottle
R299 R199 Discovery Miles 1 990
Vibro Shape Belt
R799 R743 Discovery Miles 7 430
Bantex Non-Toxic Glue Stick (8g)(White)
R10 Discovery Miles 100
Loot
Nadine Gordimer Paperback  (2)
R297 R230 Discovery Miles 2 300
Canon PG-512 High Yield Ink Cartridge…
R371 Discovery Miles 3 710
Snomaster 60L DC Portable Fridge/Freezer
R7,999 R5,399 Discovery Miles 53 990
Zephany. Two Mothers. One Daughter. - An…
Joanne Jowell Paperback  (1)
R260 R195 Discovery Miles 1 950
Celebrating 50 Years Of The Two Oceans…
Two Oceans Marathon Paperback R375 R275 Discovery Miles 2 750
Blackcherry Fuschia Laptop Tote Bag
R459 R299 Discovery Miles 2 990

 

Partners