Cs - R 9233 1992
نویسندگان
چکیده
An algebraic speciication of the-calculus is described. The speciication covers valid substitutions, , , and conversions, left-most reductions, and let-constructs for-deenitions. The complete speciication of the-calculus is given. By deriving parsers from signatures, and term rewriting systems from equations, tools are generated automatically from the speciication. Combining these tools by means of a user interface description formalism, an environment for experimenting with the-calculus has been generated. The environment obtained in this way is presented.
منابع مشابه
Testing the Impact of a Pre-instructional Digital Game on Middle-Grade Students' Understanding of Photosynthesis
متن کامل
Alternative 3' splice acceptor sites modulate enzymic activity in derivative alleles of the maize bronze1-mutable 13 allele.
The defective Suppressor-mutator (dSpm)-induced allele bronze1-mutable 13 (bz1-m13) and many of its derivative alleles are leaky mutants with measurable levels of flavonol O3-glucosyltransferase activity. This activity results from splicing at acceptor site-1, one of two cryptic 3' splice sites within the dSpm insertion in bz1-m13. In this study, splicing in bz1-m13 change-in-state (CS) alleles...
متن کاملA stability conjecture on bandwidth sharing networks
We consider a queueing model where documents are simultaneously transferred over a communication network. The bandwidth allocated to each document transfer is assumed to be the solution of a utility optimization problem. Under a natural stability condition and under the assumption that document arrivals are Poisson and that document sizes are independent exponential distributions, such queueing...
متن کاملSampling scattered data with Bernstein polynomials: stochastic and deterministic error estimates
Viewing the classical Bernstein polynomials as sampling operators, we study a generalization by allowing the sampling operation to take place at scattered sites. We utilize both stochastic and deterministic approaches. On the stochastic side, we consider the sampling sites as random variables that obey some naturally derived probabilistic distributions, and obtain Chebyshev type estimates. On t...
متن کاملHippocampal formation volume, memory dysfunction, and cortisol levels in patients with Cushing's syndrome.
Patients with chronic hypercortisolemia due to Cushing's syndrome (CS) exhibit cognitive dysfunction. Because glucocorticoid excess is associated with hippocampal damage in animals, and the hippocampus participates in learning and memory, we explored the relationships between hippocampal formation (HF) volume, memory dysfunction, and cortisol levels in 12 patients with CS. After magnetic resona...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992