-
Notifications
You must be signed in to change notification settings - Fork 0
/
paper.bib
133 lines (119 loc) · 3.66 KB
/
paper.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
@techreport{c99,
Author = {ISO/IEC},
Institution = {International Organization for Standardization,
Geneva, Switzerland.},
Title = {{ISO}/{IEC} 9899:1999: Programming Languages -- {C}},
Year = {1999}
}
@techreport{cpp11,
Author = {ISO/IEC},
Institution = {International Organization for Standardization,
Geneva, Switzerland.},
Title = {ISO/IEC 14882:2011, Information technology -- Programming
languages -- {C++}},
Year = {2011}
}
@misc{gcc,
author = {Free Software Foundation},
title = {{GCC}},
howpublished = {http://gcc.gnu.org}
}
@misc{clang,
author = {LLVM Team},
title = {{CLANG}},
howpublished = {http://clang.llvm.org}
}
@misc{v8,
author = {Google},
title = {{V8 JavaScript Engine}},
howpublished = {http://code.google.com/p/v8}
}
@misc{mli,
Author = {Bob Eager},
Title = {{The ML/I macro processor}},
HowPublished = {http://www.ml1.org.uk}
}
@techreport{veldhuizen,
abstract = {{We sketch a proof of a well-known folk theorem that C++
templates are Turing complete. The absence of a formal
semantics for C++ template instantiation makes a rigorous
proof unlikely.}},
author = {Veldhuizen, Todd L.},
keywords = {c, computational-models, example, fun, template},
title = {{C++ Templates are Turing Complete}},
year = {2003}
}
@book{dragon-book,
author = {Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman},
title = {{Compilers: Principles, Techniques and Tools, Second Edition}},
publisher = {Addison-Wesley},
year = {2007}
}
@article{koskinen,
author = {Johannes Koskinen},
title = {{Metaprogramming in C++}},
url = {www.cs.tut.fi/~kk/webstuff/MetaprogrammingCpp.pdf}
}
@article{sac2c,
author = {Grelck, Clemens and Scholz, Sven-Bodo},
title = {SAC: a functional array language for efficient multi-threaded execution},
journal = {Int. J. Parallel Program.},
issue_date = {August 2006},
volume = {34},
number = {4},
month = aug,
year = {2006},
issn = {0885-7458},
pages = {383--427},
numpages = {45},
url = {http://dx.doi.org/10.1007/s10766-006-0018-x},
doi = {10.1007/s10766-006-0018-x},
acmid = {1182760},
publisher = {Kluwer Academic Publishers},
address = {Norwell, MA, USA},
keywords = {compiler optimisation, data parallel programming, multithreading, single assignment C},
}
@manual{prepr,
added-at = {2007-03-21T15:27:04.000+0100},
author = {Stallman, Richard M. and Weinberg, Zachary},
biburl = {http://www.bibsonomy.org/bibtex/298733f74d0634e006804866030988242/tmalsburg},
interhash = {48f2e346ba08a6210b4e78113bd40051},
intrahash = {98733f74d0634e006804866030988242},
keywords = {macroprocessor macros manual},
timestamp = {2007-03-21T15:27:04.000+0100},
title = {The C Preprocessor},
year = 2005
}
@article{regexp,
author = {Thompson, Ken},
title = {Programming Techniques: Regular expression search algorithm},
journal = {Commun. ACM},
issue_date = {June 1968},
volume = {11},
number = {6},
month = jun,
year = {1968},
issn = {0001-0782},
pages = {419--422},
numpages = {4},
url = {http://doi.acm.org/10.1145/363347.363387},
doi = {10.1145/363347.363387},
acmid = {363387},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {match, regular expression, search},
}
@incollection{reglang,
author = {Yu, Sheng},
chapter = {Regular languages},
title = {Handbook of formal languages, vol. 1},
editor = {Rozenberg, Grzegorz and Salomaa, Arto},
year = {1997},
isbn = {3-540-60420-0},
pages = {41--110},
numpages = {70},
url = {http://dl.acm.org/citation.cfm?id=267846.267848},
acmid = {267848},
publisher = {Springer-Verlag New York, Inc.},
address = {New York, NY, USA},
}