an integrity assurance mechanism for run-time programs

Chinese Assoc Cryptol Res, State Key Lab Informat Secur, Inst Software, Grad Univ Chinese Acad Sci, Natl Nat Sci Fdn China

practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

Changes in benthic algal communities following construction of a run-of-river dam

Ecological responses to dam construction are poorly understood, especially for downstream benthic algal communities. We examined the responses of benthic algal communities in downstream reaches of a tributary of the Xiangxi River, China, to the construction of a small run-of-river dam. From February 2003 to August 2006, benthic algae, chemical factors, and habitat characteristics were monitored upstream and downstream of the dam site. This period spanned 6 mo before dam construction and 37 mo after dam construction. Benthic algal sampling yielded 199 taxa in 59 genera that belonged to Bacillariophyta, Chlorophyta, and Cyanophyta. Some physical factors (flow velocity, water depth, and channel width) and 3 algal metrics (diatom species richness, Margalef diversity, and % erect individuals) were significantly affected by the dam construction, whereas chemical factors (e.g., NH4-N, total N, SiO2) were not. Nonmetric multidimensional scaling (NMS) ordinations showed that overall algal assemblage structure downstream of the dam sites was similar to that of upstream control sites before dam construction and for 1 year after dam construction (p > 0.05). However, sites belonging to upstream and downstream reaches were well separated on NMS axis 1 during the 2(nd) and 3(rd) years after dam construction. Our results suggest that impacts of dam construction on benthic algal communities took 2 to 3 y to emerge. Further development of a complete set of indicators is needed to address the impact of small-dam construction. Our observations underscore the need for additional studies that quantify ecological responses to dam construction over longer time spans.