bkyk8rc3zvpnsf5inmcqq4n3k98cv6hj-my-site-hyper-literate-git.test.suzanne.soy-0.0.1

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

lncs.scrbl (3209B)


      1 #lang scribble/manual
      2 @(require (except-in "utils.rkt" author)
      3           (except-in (for-label scribble/lncs/lang) #%module-begin))
      4 
      5 @(define-syntax-rule (def base-author)
      6    (begin
      7      (require (for-label scribble/base))
      8      (define base-author @racket[author])))
      9 @(def base-author)
     10 
     11 @title{LNCS Paper Format}
     12 
     13 @defmodulelang[scribble/lncs #:use-sources (scribble/lncs/lang)]{
     14   The @racketmodname[scribble/lncs]
     15 language is like @racketmodname[scribble/base], but configured with
     16 Latex style defaults to use the @filepath{llncs.cls} class
     17 file. The class file is not included with Scribble due to license issues,
     18 but if the file is not manually installed into the
     19 @racket[scribble/lncs] collection, then it is downloaded on demand to
     20 @racket[(find-system-path 'addon-dir)].}
     21 
     22 @defproc[(abstract [pre-content pre-content?] ...) block?]{
     23 
     24 Generates a @tech{nested flow} for a paper abstract.}
     25 
     26 @defform[(include-abstract module-path)]{
     27 
     28 Similar to @racket[include-section], but incorporates the document in the
     29 specified module as an abstract. The document must have no title or
     30 sub-parts.}
     31 
     32 @defform/subs[#:literals (author)
     33               (authors auth ...)
     34               ([auth (author pre-content-expr ...)
     35                      (author #:inst str-expr pre-content-expr ...)])
     36               #:contracts ([pre-content-expr pre-content?]
     37                            [str-expr string?])]{
     38 
     39 A replacement for @base-author from @racketmodname[scribble/base].
     40 
     41 The @racket[#:inst] should be a number that matches up to one of the
     42 arguments to @racket[institutes].
     43 }
     44 
     45 
     46 @defidform[author]{For use only in @racket[authors].}
     47 
     48 
     49 @defform[#:literals (institute)
     50          (institutes (institute pre-content-expr ...) ...)
     51          #:contracts ([pre-content-expr pre-content?])]{
     52 
     53 The @racket[pre-content-expr]s are used as the institutions of the authors.
     54 
     55 }
     56 
     57 @defidform[institute]{For use only in @racket[institutes].}
     58 
     59 @defform[(email pre-content-expr ...)]{
     60   Specifies an email address; must be used inside @racket[institute].
     61 }
     62 
     63 @section{Example}
     64 
     65 Here is an example of a paper written in the LNCS format:
     66 
     67 @margin-note{For more randomly generated papers, see SCIgen:
     68              @url["http://pdos.csail.mit.edu/scigen"]}
     69 
     70 @codeblock[#:keep-lang-line? #t]|{
     71 #lang scribble/lncs
     72 
     73 @authors[@author[#:inst "1"]{Lauritz Darragh}
     74          @author[#:inst "2"]{Nikolaj Kyran}
     75          @author[#:inst "2"]{Kirsten Gormlaith}
     76          @author[#:inst "2"]{Tamaz Adrian}]
     77 
     78 @institutes[
     79   @institute["University of Southeast Boston"
     80              @linebreak[]
     81              @email|{darragh@cs.seboston.edu}|]
     82   @institute["University of Albion"
     83              @linebreak[]
     84              @email|{{nkyran,gorm,tamaz}@cs.albion.ac.uk}|]]
     85 
     86 @title{Arak: Low-Energy, Interposable Theory}
     87 
     88 @abstract{The implications of client-server symmetries have been
     89 far-reaching and pervasive. Given the current status of
     90 constant-time theory, mathematicians daringly desire the synthesis
     91 of rasterization, which embodies the essential principles of
     92 algorithms. In this work, we describe a client-server tool for
     93 investigating flip-flop gates (Arak), verifying that the
     94 producer-consumer problem can be made homogeneous, secure, and
     95 wireless.}
     96 }|
     97