Generic meta-modelling with concepts, templates and mixin layers
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Support for the evolution of C++ generic functions
SLE'10 Proceedings of the Third international conference on Software language engineering
ACM SIGSOFT Software Engineering Notes
Generic model transformations: write once, reuse everywhere
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Exploiting regularity of user-defined types to improve precision of program analyses
Proceedings of the 27th Annual ACM Symposium on Applied Computing
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Productive Parallel Linear Algebra Programming with Unstructured Topology Adaption
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Design of concept libraries for c++
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
A system for axiomatic programming
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Summary-based data-flow analysis that understands regular composite objects and iterators
ACM SIGAPP Applied Computing Review
Genericity for model management operations
Software and Systems Modeling (SoSyM)
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Ask a mechanical, structural, or electrical engineer how far they would get without a heavy reliance on a firm mathematical foundation, and they will tell you, not far. Yet so-called software engineers often practice their art with little or no idea of the mathematical underpinnings of what they are doing. And then we wonder why software is notorious for being delivered late and full of bugs, while other engineers routinely deliver finished bridges, automobiles, electrical appliances, etc., on time and with only minor defects. This book sets out to redress this imbalance. Members of my advanced development team at Adobe who took the course based on the same material all benefited greatly from the time invested. It may appear as a highly technical text intended only for computer scientists, but it should be required reading for all practicing software engineers. Martin Newell, Adobe FellowThe book contains some of the most beautiful code I have ever seen. Bjarne Stroustrup, Designer of C++ I am happy to see the content of Alexs course, the development and teaching of which I strongly supported as the CTO of Silicon Graphics, now available to all programmers in this elegant little book. Forest Baskett, General Partner, New Enterprise AssociatesPauls patience and architectural experience helped to organize Alexs mathematical approach into a tightly-structured edificean impressive feat! Robert W. Taylor, Founder of Xerox PARC CSL and DEC Systems Research CenterElements of Programming provides a different understanding of programming than is presented elsewhere. Its major premise is that practical programming, like other areas of science and engineering,must be based on a solid mathematical foundation. The book shows that algorithms implemented in a real programming language, such as C++, can operate in the most general mathematical setting. For example, the fast exponentiation algorithm is defined to work with any associative operation. Using abstract algorithms leads to efficient, reliable, secure, and economical software.This is not an easy book. Nor is it a compilation of tips and tricks for incremental improvements in your programming skills. The books value is more fundamental and, ultimately, more critical for insight into programming. To benefit fully, you will need to work through it from beginning to end, reading the code, proving the lemmas, and doing the exercises. When finished, you will see how the application of the deductive method to your programs assures that your systems software components will work together and behave as they must.The book presents a number of algorithms and requirements for types on which they are defined. The code for these descriptionsalso available on the Webis written in a small subset of C++ meant to be accessible to any experienced programmer. This subset is defined in a special language appendix coauthored by Sean Parent and Bjarne Stroustrup.Whether you are a software developer, or any other professional for whom programming is an important activity, or a committed student, you will come to understand what the books experienced authors have been teaching and demonstrating for yearsthat mathematics is good for programming, and that theory is good for practice.