Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-43596

TLA+ Trace Checker paper: "Abstract" section

    XMLWordPrintableJSON

Details

    • Icon: New Feature New Feature
    • Resolution: Done
    • Icon: Major - P3 Major - P3
    • None
    • None
    • Replication
    • None
    • Repl 2020-02-24

    Description

      Write the abstract for the paper. From "How to Write a Technical Paper: Structure and Style of the Epitome of your Research":

      The abstract is what a person always reads first
      in a technical paper. Based on the content of the
      abstract, the reader will decide whether the paper is worthy enough to merit further study. The
      abstract should classify your research and contribution in the research areas. It should contain
      the following four parts: a brief introduction describing the discipline that the paper belongs to;
      a clear and concise statement of your problem;
      a brief explanation of your solution and its key
      ideas; a brief description of the results obtained
      and their impacts. Lastly, provide a short list of
      index keyword terms.

      From "A Sample Proceedings of the VLDB Endowment Paper in LaTeX Format":

      The abstract for your paper for the PVLDB Journal submis- sion. The template and the example document are based on the ACM SIG Proceedings templates. This file is part of a package for preparing the submissions for review. These files are in the camera-ready format, but they do not con- tain the full copyright note. Note that after the notification of acceptance, there will be an updated style file for the camera-ready submission containing the copyright note.

      Attachments

        Activity

          People

            judah.schvimer@mongodb.com Judah Schvimer
            jesse@mongodb.com A. Jesse Jiryu Davis
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: