|
|
|
|
LEADER |
03407nam a22005055i 4500 |
001 |
978-94-91216-56-5 |
003 |
DE-He213 |
005 |
20151125152018.0 |
007 |
cr nn 008mamaa |
008 |
120521s2012 fr | s |||| 0|eng d |
020 |
|
|
|a 9789491216565
|9 978-94-91216-56-5
|
024 |
7 |
|
|a 10.2991/978-94-91216-56-5
|2 doi
|
040 |
|
|
|d GrThAP
|
050 |
|
4 |
|a QA76.758
|
072 |
|
7 |
|a UMZ
|2 bicssc
|
072 |
|
7 |
|a COM051230
|2 bisacsh
|
082 |
0 |
4 |
|a 005.1
|2 23
|
100 |
1 |
|
|a Arnoldus, Jeroen.
|e author.
|
245 |
1 |
0 |
|a Code Generation with Templates
|h [electronic resource] /
|c by Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef.
|
264 |
|
1 |
|a Paris :
|b Atlantis Press :
|b Imprint: Atlantis Press,
|c 2012.
|
300 |
|
|
|a IX, 204 p. 100 illus., 2 illus. in color.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Atlantis Studies in Computing,
|x 2212-8557 ;
|v 1
|
505 |
0 |
|
|a Introduction -- Preliminaries -- The Unparser -- The Metalanguage -- Syntax-Safe Templates -- Repleo: Syntax-Safe Template Evaluation -- Case Studies -- Conclusions.
|
520 |
|
|
|a 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 output language. 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.
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Computer programming.
|
650 |
|
0 |
|a Software engineering.
|
650 |
1 |
4 |
|a Computer Science.
|
650 |
2 |
4 |
|a Software Engineering.
|
650 |
2 |
4 |
|a Programming Techniques.
|
650 |
2 |
4 |
|a Computer Science, general.
|
700 |
1 |
|
|a van den Brand, Mark.
|e author.
|
700 |
1 |
|
|a Serebrenik, A.
|e author.
|
700 |
1 |
|
|a Brunekreef, J.J.
|e author.
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9789491216558
|
830 |
|
0 |
|a Atlantis Studies in Computing,
|x 2212-8557 ;
|v 1
|
856 |
4 |
0 |
|u http://dx.doi.org/10.2991/978-94-91216-56-5
|z Full Text via HEAL-Link
|
912 |
|
|
|a ZDB-2-SMA
|
950 |
|
|
|a Mathematics and Statistics (Springer-11649)
|