9 resultados para Norwegian language
em Chinese Academy of Sciences Institutional Repositories Grid Portal
Resumo:
A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.
Resumo:
The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.
Resumo:
We propose a new functional programming language(FPL) which differs in some aspects from most well known FPLs[l].We descrihc the prohlmm domain,the language,explain why we need it.
Resumo:
ACM SIGIR; ACM SIGWEB
Resumo:
Variation in dinoflagellate cyst assemblages through the last approximately 300 years was studied in two sediment cores, one from the heavily polluted Frierfjord, and one from the adjoining, relatively unpolluted Brevikfjord, in order to docu1ent possible dinoflagellate responses to pollution. Changes in the cyst-flora were compared with historical information on the development of industry and also with geochemistry of the sediments, reflecting aspects of pollution. In the Frierfjord core, increasing pollution was accompanied by a decrease in cyst concentration, possibly reflecting reduced production, at least of dinoflagellates, and a shift toward more heterotrophic species, possibly reflecting reduced light penetration in the euphotic zone, or increased production of prey for the heterotrophs. These trends seem to have reversed as pollution decreased after about 1975, suggesting that cyst assemblages contain signals that may prove useful for tracing the development of pollution. Cyst assemblages in the Brevikfjord core only showed minor changes.