How to submit a paper

Authors are encouraged to submit high quality, original works which have not appeared, nor are under consideration, in other journals. A cover submittal letter should be sent to one or both of the Co-Editors:

• Olivier Danvy <danvy@cs.au.dk>
• Carolyn Talcott <clt@cs.stanford.edu>

This cover letter should include the title, the authors, the corresponding author's contact information (telephone, fax, address and e-mail address), an abstract and a list of keywords and topics. An electronic copy of the manuscript should also be sent to: <hosc@cs.au.dk>

Policy on prior publications. The technical contributions appearing in Springer journals are normally original papers which have not been published elsewhere. Widely disseminated conference proceedings and newsletters are a form of publication, although they are usually only semiarchival and often unrefereed. Publication, or republication, of a (perhaps revised) paper which has been widely disseminated is permitted only if the editor judges that (a) the revision contains significant amplification or clarification of the original material or (b) there is significant additional benefit to be gained from journal republication. In either case, any prior appearance should be noted on the title page of the paper.

It is the obligation of the author to inform the Editors-in-Chief if there are any circumstances about the contribution that bear on this policy, such as the submission or publication elsewhere of a shorter or expanded version of what is substantially the same material. In particular, together with their submission, the authors should send a copy of any previously published version of the work and a clear summary of the changes.

Delivery of Papers Accepted for Publication

Final versions of papers accepted for publication in HOSC should be transmitted by e-mail as follows.

1. Please e-mail the source files to: <hosc@cs.au.dk>
2. Recommended formats for sending files via e-mail:
   • collecting files - tar
   • compressing files - compress, zip or gzip
   • sending files - uuencode or MIME attachment.

Send to the accepting editor an e-mail indicating that the final version of the paper has been transmitted.

To reduce copy-editing hazards, the HOSC editors strongly encourage authors to use TeX/LaTeX format with the LaTeX journal style file (although Springer will accept any format for accepted papers). The LaTeX style file can be obtained from: <www.springeronline.com/authors/jrnlstylefiles>

Manuscript Format. Authors‘ names should be given without titles or degrees along with the name and address of the organization for which the work was carried out. A footnote on the first page should acknowledge funding sources and presentation, if any, of the material at technical meetings (give dates and sponsoring societies).

To ensure proper indexing, classification, retrieval and dissemination, authors should include in the manuscript:

1. Descriptive title;
2. Author names and affiliations - with addresses in a footnote;
3. Informative abstract;
4. Content indicators of three types:
   • Categories and subject descriptors from Scope,
   • General terms from scope
   • Additional key words and phrases;
5. Citations to the relevant literature.

The following suggestions may be useful in preparing this information.

Descriptive Title. Use a specific and informative title to tell accurately what the paper is about. Choose title terms as highly specific as content of the paper will permit.

Affiliation. The affiliation appearing under the author‘s name should be the name of the organization for which the work was carried out. When this is no longer the author‘s current affiliation, the latter is given in the address footnote on the first page.

Informative Abstract. The abstract should be 150 to 200 words and should be short and direct. It should be informative enough to serve as a substitute for reading the paper itself. Work planned but not done should not be described in the abstract. Do not display formulas and do not use citation reference numbers.

Review Criteria. Each paper will be reviewed by experts in the area specified from the scope as the topic of the paper. Acceptance will be based on overall merit and significance of the reported research, as well as the quality of the presentation.

1. References to items in periodicals. These should be of the form: author, title, journal, volume, number, date, pages. For authors, last names are given first, even for multiple authors. The author‘s name ends with a period, either the period which follows his initial or a period for that purpose. The title has only the first word and proper names starting with capital letters, and ends with a period. The date is given in parentheses.
   Example:
   

   12.	Strachey, C. Fundamental Concepts in Programming Languages. Higher-Order and Symbolic Computation, 13(1/2) (2000), pp. 11-50.

2. References to Reports or proceedings: Author(s) names(s) and title (same as above), report number, source including date and pages.
3. References to books: Author(s) same as periodicals. Title, publisher, year. Page or chapter reference follow the year.
4. Sequence: References should be arranged alphabetically according to authors‘ or editor‘s names. References are to be numbered in the list and those numbers cited in the text.
5. Accuracy: Authors are responsible for checking that all information in the references is correct.
6. Completeness: Include any information necessary for finding the work referenced.
7. Format: All references should be typed and double spaced.

Figures. Diagrams should be on smooth white paper. Photographs should be glossy prints. Author‘s name should be on back of each figure.

1. Originals for illustrations should be sharp, noise free, and of good contrast. We regret that we cannot provide drafting or art service.
2. Each figure should be mentioned in the text and numbered consecutively using Arabic numerals. Specify the desired location of each figure in the text. Each figure must have a caption. Proper style for captions, e.g., "Figure 1. Transition rules."
3. All lettering should be large enough to permit legible reduction.
4. Files should be at least 300 dpi.

Proofing. Please be sure to include your e mail address on your paper. If your paper is accepted, we will provide proofs electronically. Your cooperation is appreciated. The proofread copy should be returned to the Publisher within 72 hours.

Copyright. It is the policy of Springer to own the copyright of all contributions it publishes. To comply with U.S. Copyright Law, authors are required to sign a copyright transfer form before publication. This form returns to authors and their employers full rights to reuse their material for their own purposes. Authors must submit a signed copy of this form with their manuscript.

Offprints. Each group of authors is entitled to 50 free offprints of their paper. Additional offprints may be ordered through the offprint form provided with the proofs.

Springer Open Choice. In addition to the normal publication process (whereby an article is submitted to the journal and access to that article is granted to customers who have purchased a subscription), Springer now provides an alternative publishing option: Springer Open Choice. A Springer Open Choice article receives all the benefits of a regular subscription based article, but in addition is made available publicly through Springers online platform SpringerLink. To publish via Springer Open Choice, upon acceptance please visit <www.springeronline.com/openchoice> to complete the relevant order form and provide the required payment information. Payment must be received in full before publication or articles will publish as regular subscription model articles. We regret that Springer Open Choice cannot be ordered for published articles.