topmatter-acm.tex

%% Author information
%% Contents and number of authors suppressed with 'anonymous'.
%% Each author should be introduced by \author, followed by
%% \authornote (optional), \orcid (optional), \affiliation, and
%% \email.
%% An author may have multiple affiliations and/or emails; repeat the
%% appropriate command.
%% Many elements are not rendered, but should be provided for metadata
%% extraction tools.

\author{Alex Eyers-Taylor}
\affiliation{
  \position{Research Engineer}
  \institution{Semmle Ltd}            %% \institution is required
  \country{United Kingdom}                    %% \country is recommended
}
\email{alexet@semmle.com}          %% \email is recommended

\author{Michael Peyton Jones}
\affiliation{
  \position{Research Engineer}
  \institution{Semmle Ltd}            %% \institution is required
  \country{United Kingdom}                    %% \country is recommended
}
\email{michael@semmle.com}          %% \email is recommended

\author{Mario Alvarez Picallo}
\affiliation{
  \position{PhD Student}
  \department{Computer Science}
  \institution{University of Oxford}            %% \institution is required
  \country{United Kingdom}                    %% \country is recommended
}
\email{mario.alvarez-picallo@cs.ox.ac.uk}          %% \email is recommended


%% 2012 ACM Computing Classification System (CSS) concepts
%% Generate at 'http://dl.acm.org/ccs/ccs.cfm'.
\begin{CCSXML}
<ccs2012>
<concept>
<concept_id>10011007.10011006.10011008</concept_id>
<concept_desc>Software and its engineering~General programming languages</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10003456.10003457.10003521.10003525</concept_id>
<concept_desc>Social and professional topics~History of programming languages</concept_desc>
<concept_significance>300</concept_significance>
</concept>
</ccs2012>
\end{CCSXML}

\ccsdesc[500]{Software and its engineering~General programming languages}
\ccsdesc[300]{Social and professional topics~History of programming languages}
%% End of generated code

%% Keywords
%% comma separated list
\keywords{incremental computation, dcpos, fixpoints, Datalog}  %% \keywords are mandatory in final camera-ready submission