排序方式: 共有20条查询结果,搜索用时 15 毫秒
1.
This note is a historical survey of Christopher Strachey's influence on the development of semantic models of assignment and storage management in procedural languages. 相似文献
2.
R. D. Tennent 《Information and Computation》1990,85(2)
The “specification logic” of J. C. Reynolds is a partial-correctness logic for Algol 60-like languages with procedures. It is interpreted here as an intuitionistic theory, using a form of possible-world semantics first applied to programming language interpretation by J. C. Reynolds and F. J. Oles to give an abstract treatment of stack-oriented storage management. The model provides a satisfactory solution to all previously known problems with the interpretation of specification logic; however, unexpected new problems have been discovered in doing this work, and these remain unsolved. 相似文献
3.
Extracellular deposition of amyloid fibrils is responsible for the pathology in the systemic amyloidoses and probably also in Alzheimer disease [Haass, C. & Selkoe, D. J. (1993) Cell 75, 1039-1042] and type II diabetes mellitus [Lorenzo, A., Razzaboni, B., Weir, G. C. & Yankner, B. A. (1994) Nature (London) 368, 756-760]. The fibrils themselves are relatively resistant to proteolysis in vitro but amyloid deposits do regress in vivo, usually with clinical benefit, if new amyloid fibril formation can be halted. Serum amyloid P component (SAP) binds to all types of amyloid fibrils and is a universal constituent of amyloid deposits, including the plaques, amorphous amyloid beta protein deposits and neurofibrillary tangles of Alzheimer disease [Coria, F., Castano, E., Prelli, F., Larrondo-Lillo, M., van Duinen, S., Shelanski, M. L. & Frangione, B. (1988) Lab. Invest. 58, 454-458; Duong, T., Pommier, E. C. & Scheibel, A. B. (1989) Acta Neuropathol. 78, 429-437]. Here we show that SAP prevents proteolysis of the amyloid fibrils of Alzheimer disease, of systemic amyloid A amyloidosis and of systemic monoclonal light chain amyloidosis and may thereby contribute to their persistence in vivo. SAP is not an enzyme inhibitor and is protective only when bound to the fibrils. Interference with binding of SAP to amyloid fibrils in vivo is thus an attractive therapeutic objective, achievement of which should promote regression of the deposits. 相似文献
4.
R. D. Tennent 《Computer Languages, Systems and Structures》1983,8(3-4):125-137
This paper describes modest extensions to standard Pascal which would be simple and practical solutions to well-known problems in three areas: organization of large programs, exception-handling and representational abstraction. 相似文献
5.
R. D. Tennent 《Software》1985,15(8):821-822
We compare the American and international standards for Pascal and make suggestions to help implementors and programmers achieve the greatest possible compatibility with both standards. 相似文献
6.
WG Beamer KL Shultz BJ Tennent JH Nadeau GA Churchill EM Eicher 《Canadian Metallurgical Quarterly》1998,58(16):3694-3699
Spontaneous juvenile ovarian granulosa cell (GC) tumors that occur in young girls are similar to GC carcinomas that develop in SWR-derived inbred mice. We analyzed female offspring from a series of matings among SWR and SJL inbred mice for chromosomal loci underlying tumor susceptibility. Intercross F2 female mice were produced by reciprocal matings of (SWR x SJL)F1 and (SJL x SWR)F1 parents. Tumorigenesis in these F2 mice as well as in SWXJ recombinant inbred and congenic strains of mice derived from SWR and SJL showed significant (P < 0.001) association with Gct1, a dominant susceptibility locus on chromosome (CHR) 4 and with Gct2 on CHR 12. Suggestive (P < 0.01) association was found with Gct3 on CHR 15. A fourth susceptibility locus, Gct4 on CHR X, was demonstrated with a strong parent-of-origin effect associated with the paternal genotype. Imprinting and complex interactions among these four loci combine to establish the probability for GC tumorigenesis in this mouse model. 相似文献
7.
The response of olfactory Schwann cells was assessed at 2, 4, and 7 days following intranasal zinc sulfate irrigation in 1-month-old mice. Ultrastructural and immunohistochemical observations showed dramatic differences between experimental and control mice which had been washed with saline intranasally. Two days after zinc sulfate treatment, many olfactory nerve bundles contained patchy areas of axonal degeneration, while the cell bodies of the olfactory Schwann cells appeared to have increased in electron density and to have shifted peripherally. Some of the cell bodies protruded from the surface of the axon fascicle, suggesting that the olfactory Schwann cells were in the initial process of migrating away. On the fourth day when most of the olfactory axons had degenerated, some olfactory Schwann cells were aligned immediately beneath the basal lamina of the olfactory epithelium. These cells were immunopositive for the S-100 protein and possessed an expanded perinuclear space. Many olfactory Schwann cells were present in the region beneath the cribriform plate, while some appeared to have passed through the gaps between the bony plates to reach the olfactory bulb. Hence, the results showed that many olfactory Schwann cells migrated towards the olfactory bulb following loss of axonal contact. Furthermore, on the seventh day following zinc sulfate treatment, some olfactory Schwann cells in the vicinity of the olfactory bulb appeared phagocytic, as indicated by their extension of processes around fragments of cell debris and the presence of lysosome-like organelles in the perikaryon. The control mice which had been intranasally irrigated with saline did not demonstrate massive olfactory axonal degeneration, and the morphology of the nasal cavity region was similar to that of normal mice. 相似文献
8.
R. D. Tennent 《Software》1982,12(4):385-392
This article defends the concept of block structure using two examples that have previously been discussed in a recent article by D. R. Hanson and in textbooks by Wirth and Brinch Hansen. It is shown that effective use of block structuring makes it possible to combine the advantages of the nested versions in the textbooks and Hanson's linear versions, calling into question the disadvantages attributed to the block structure concept by these and other authors. 相似文献
9.
10.
R. D. Tennent 《Software》1978,8(4):429-437
Two approaches to type compatibility in Pascal, which were discussed briefly in an earlier paper by Welsh, Sneeringer, and Hoare, are analysed in detail. 相似文献