Noun | 1. | summer - the warmest season of the year; in the northern hemisphere it extends from the summer solstice to the autumnal equinox; "they spent a lazy summer at the shore" Synonyms: summertime |
Verb | 1. | summer - spend the summer; "We summered in Kashmir" |
SUMMER - String manipulation and pattern matching language by Klint &
Sint at CWI in the late 1970s. It was recently used as the
input and implementation language for the Dataflow Compiler Project at CWI. ["An Overview of the SUMMER Programming Language", Paul Klint, 7th POPL, ACM 1980, pp. 47-55]. |