-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmisc.html
62 lines (53 loc) · 2.71 KB
/
misc.html
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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<meta name="generator" content="jemdoc, see http://jemdoc.jaboc.net/" />
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
<link rel="stylesheet" href="jemdoc.css" type="text/css" />
<title>Misc</title>
</head>
<body>
<table summary="Table for page layout." id="tlayout">
<tr valign="top">
<td id="layout-menu">
<div class="menu-category">Home</div>
<div class="menu-item"><a href="index.html">About me</a></div>
<div class="menu-category">Research</div>
<div class="menu-item"><a href="misc.html" class="current">Misc</a></div>
</td>
<td id="layout-content">
<p></p>
<h1>Misc</h1>
<h2>Reference Book</h2>
<ul></ul>
<ul> Logic and Verification
<ul></ul>
<ul><li><a href="https://www.springer.com/gp/book/9783540741121"> The Calculus of Computation </a></li></ul>
</ul>
<ul> Static analysis
<ul></ul>
<ul><li><a href="https://www.semanticscholar.org/paper/Data-Flow-Analysis-Theory-and-Practice-Khedker-Sanyal/b99a9a00d008c3d99047277430a6b5435e01cfa1">Data Flow Analysis: Theory and Practice </a></li></ul>
<ul><li><a href="https://cs.au.dk/~amoeller/spa/">Static Program Analysis </a></li></ul>
</ul>
<h2>Academic Writing</h2>
<ul></ul>
<ul> Writing Helper
<ul></ul>
<ul><li><a href="https://ludwig.guru/">Ludwig</a></u>: search engine and smart translator that helps you find the perfect word or sentence to express your ideas</li></ul>
<ul><li><a href="https://linggle.com/">Linggle</a></u>: Language reference search engines for sound writing, an aternative of Ludwig</li></ul>
<ul><li><a href="https://libguides.murdoch.edu.au/IEEE">IEEE Referencing Guide</a></u>: Useful guidance to format citations of different types in IEEE style</li></ul>
</ul>
<ul> Writing Reference
<ul></ul>
<ul><li><a href="http://www.phrasebank.manchester.ac.uk/">Academic Phrasebank</a></u>: Skelton for each session of a research paper or dissertation</li></ul>
<ul><li><a href="https://www.springer.com/gp/book/9781447166382">Writing for Computer Science</a></li></ul>
<ul><li><a href="http://www.jlakes.org/ch/web/The-elements-of-style.pdf">The Elements of Style</a></li></ul>
<ul><li><a href="https://www.academia.edu/40708541/Academic_Vocabulary_in_Use_by_Michael_McCarthy">Academic Vocabulary in Use</li></ul>
<ul><li><a href="https://www.researchgate.net/publication/242918910_Longman_Grammar_of_Spoken_and_Written_English_Douglas_Biber_Stig_Johansson_Geoffrey_Leech_Susan_Conrad_and_Edward_Finegan_Northern_Arizona_University_University_of_Oslo_University_of_Lancaster_Iowa_St">LongMan Grammar of Spoken and Written English</a></li></ul>
</ul>
</td>
</tr>
</table>
</body>
</html>