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...
Die Stropers
Danny Keogh, Benre Labuschagne, … DVD R150 R120 Discovery Miles 1 200
Cry Pretty
Carrie Underwood CD R150 R124 Discovery Miles 1 240
Loot
Nadine Gordimer Paperback  (2)
R297 R230 Discovery Miles 2 300
Bestway Hydro Swim Protector Set…
R50 R45 Discovery Miles 450
Resistance Is Futile
Manic Street Preachers CD  (2)
R67 Discovery Miles 670
Loot
Nadine Gordimer Paperback  (2)
R297 R230 Discovery Miles 2 300
Betrayal - The Secret Lives Of Apartheid…
Jonathan Ancer Paperback R285 R215 Discovery Miles 2 150
DeskStand - Adjustable Standing Desk…
R1,699 R1,499 Discovery Miles 14 990
Jurassic World: Fallen Kingdom - 3D
Chris Pratt, Bryce Dallas Howard Blu-ray disc R260 R119 Discovery Miles 1 190
Christo Wiese - Risk And Riches
T J Strydom Paperback R290 R249 Discovery Miles 2 490

 

Partners