Andere Kunden interessierten sich auch für
![Theory and Practice of Model Transformation]( "Theory and Practice of Model Transformation")
Theory and Practice of Model Transformation37,99 €![On the Move to Meaningful Internet Systems: OTM 2015 Conferences]( "On the Move to Meaningful Internet Systems: OTM 2015 Conferences")
On the Move to Meaningful Internet Systems: OTM 2015 Conferences38,99 €![A List of Successes That Can Change the World]( "A List of Successes That Can Change the World")
A List of Successes That Can Change the World37,99 €![Understanding Control Flow]( "Understanding Control Flow")
Understanding Control Flow38,99 €![Intelligent Software Methodologies, Tools and Techniques]( "Intelligent Software Methodologies, Tools and Techniques")
Intelligent Software Methodologies, Tools and Techniques37,99 €![Formal Development of a Network-Centric RTOS]( "Formal Development of a Network-Centric RTOS")
Formal Development of a Network-Centric RTOS74,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications]( "Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications")
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications37,99 €
Templates are used to generate all kinds of text, including computer code. The last decade, the use of templates gained a lot of popularity due to the increase of dynamic web applications. Templates are a tool for programmers, and implementations of template engines are most times based on practical experience rather than based on a theoretical background.
This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates.
First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces separation of concerns between the view and model.
Second, syntactical correctness of all languages of the templates and generated code is ensured. This includes the syntactical correctness of the template metalanguage and the outputlanguage. Third, case studies show that the achieved goals are applicable in practice. It is even shown that syntactical correctness helps to prevent cross-site scripting attacks in web applications.
The target audience of this book is twofold. The first group exists of researcher interested in the mathematical background of templates. The second group exists of users of templates. This includes designers of template engines on one side and programmers and web designers using templates on the other side
This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates.
First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces separation of concerns between the view and model.
Second, syntactical correctness of all languages of the templates and generated code is ensured. This includes the syntactical correctness of the template metalanguage and the outputlanguage. Third, case studies show that the achieved goals are applicable in practice. It is even shown that syntactical correctness helps to prevent cross-site scripting attacks in web applications.
The target audience of this book is twofold. The first group exists of researcher interested in the mathematical background of templates. The second group exists of users of templates. This includes designers of template engines on one side and programmers and web designers using templates on the other side