-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.tex
117 lines (98 loc) · 2.28 KB
/
main.tex
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
\documentclass[acmsmall,screen]{acmart}
\startPage{1}
\keywords{Galois connections; data provenance}
\setcopyright{rightsretained}
\acmPrice{}
\acmDOI{10.1145/3498668}
\acmYear{2022}
\copyrightyear{2022}
\acmSubmissionID{popl22main-p34-p}
\acmJournal{PACMPL}
\acmVolume{6}
\acmNumber{POPL}
\acmArticle{7}
\acmMonth{1}
\begin{CCSXML}
<ccs2012>
<concept>
<concept_id>10003752.10010124.10010131</concept_id>
<concept_desc>Theory of computation~Program semantics</concept_desc>
<concept_significance>500</concept_significance>
</concept>
</ccs2012>
\end{CCSXML}
\ccsdesc[500]{Theory of computation~Program semantics}
\input{tex/packages}
\input{tex/layout-tweaks}
\input{tex-common/macros}
\input{tex/macros}
\input{tex/listings}
\lstset{language=Fluid}
\bibliographystyle{ACM-Reference-Format}
\citestyle{acmauthoryear}
%\setcitestyle{nosort}
\input{abstract}
\begin{document}
\title{Linked Visualisations via Galois Dependencies}
\ifappendices
\subtitle{\emph{Extended paper with additional supporting material}}
\fi
\author{Roly Perera}
\orcid{0000-0001-9249-9862}
\affiliation{%
\institution{The Alan Turing Institute}
\city{London}
\country{UK}
}
\additionalaffiliation{%
\institution{University of Bristol}
\city{Bristol}
% \country{UK}
}
\email{[email protected]}
\author{Minh Nguyen}
\orcid{0000-0003-3845-9928}
\email{[email protected]}
\affiliation{%
\institution{University of Bristol}
\city{Bristol}
\country{UK}
}
\author{Tomas Petricek}
\orcid{0000-0002-7242-2208}
\affiliation{%
\institution{University of Kent}
\city{Canterbury}
\country{UK}
}
\additionalaffiliation{%
\institution{The Alan Turing Institute}
\city{London}
% \country{UK}
}
\email{[email protected]}
\author{Meng Wang}
\orcid{0000-0001-7780-630X}
\email{[email protected]}
\affiliation{%
\institution{University of Bristol}
\city{Bristol}
\country{UK}
}
\maketitle
\input{sec/introduction}
\input{sec/core-language}
\input{sec/data-dependencies}
\input{sec/de-morgan}
\input{sec/surface-language}
\input{sec/conclusion}
\bibliography{tex-common/bib}
\ifappendices
\clearpage
\appendix
\input{appendix/surface-language.tex}
\clearpage
\input{appendix/proofs-core.tex}
\input{appendix/proofs-surface.tex}
\fi
\end{document}