Achieving Type Safety for Low-Level Code

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_1 ◽

2003 ◽

pp. 1-2

Author(s):

Greg Morrisett

Keyword(s):

Type Safety ◽

Low Level

Download Full-text

On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.102.8 ◽

2012 ◽

Vol 102 ◽

pp. 73-87

Author(s):

Hendrik Tews ◽

Marcus Völp ◽

Tjark Weber

Keyword(s):

Data Type ◽

Type Safety ◽

Low Level

Download Full-text

Achieving Type Safety for Low-Level Code

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_1 ◽

2003 ◽

pp. 1-2

Author(s):

Greg Morrisett

Keyword(s):

Type Safety ◽

Low Level

Download Full-text

Tryptophan-Niacin Metabolism in Rat with Puromycin Aminonucleoside-Induced Nephrosis

International Journal for Vitamin and Nutrition Research ◽

10.1024/0300-9831.76.1.28 ◽

2006 ◽

Vol 76 (1) ◽

pp. 28-33 ◽

Cited By ~ 7

Author(s):

Yukari Egashira ◽

Shin Nagaki ◽

Hiroo Sanada

Keyword(s):

Body Weight ◽

Urinary Excretion ◽

Enzyme Activities ◽

Treated Group ◽

Control Group ◽

Puromycin Aminonucleoside ◽

Low Level ◽

Key Enzyme

We investigated the change of tryptophan-niacin metabolism in rats with puromycin aminonucleoside PAN-induced nephrosis, the mechanisms responsible for their change of urinary excretion of nicotinamide and its metabolites, and the role of the kidney in tryptophan-niacin conversion. PAN-treated rats were intraperitoneally injected once with a 1.0% (w/v) solution of PAN at a dose of 100 mg/kg body weight. The collection of 24-hour urine was conducted 8 days after PAN injection. Daily urinary excretion of nicotinamide and its metabolites, liver and blood NAD, and key enzyme activities of tryptophan-niacin metabolism were determined. In PAN-treated rats, the sum of urinary excretion of nicotinamide and its metabolites was significantly lower compared with controls. The kidneyα-amino-β-carboxymuconate-ε-semialdehyde decarboxylase (ACMSD) activity in the PAN-treated group was significantly decreased by 50%, compared with the control group. Although kidney ACMSD activity was reduced, the conversion of tryptophan to niacin tended to be lower in the PAN-treated rats. A decrease in urinary excretion of niacin and the conversion of tryptophan to niacin in nephrotic rats may contribute to a low level of blood tryptophan. The role of kidney ACMSD activity may be minimal concerning tryptophan-niacin conversion under this experimental condition.

Download Full-text