An exception compilation scheme that dynamically creates and removes exception handler entries on the stack. A formalization of an article of the same name by Hutton and Wright [1]. 1 Compiling exception handling theory Exceptions imports Main begin 1.1 The source language datatype expr = Val int | Add expr expr | Throw | Catch expr expr consts eval :: "expr ⇒ int option" primrec "eval (Val i) ...

A pH-sensitive membrane for colon-specific drug delivery was synthesized by the covalent bonding of glycine on the poly(ethylene-co-vinyl alcohol) (EVAL) membrane via isocyanation of surface hydroxyl groups and subsequent conversion to activated ester. The processes of surface modification would not change the membrane structure under the observable detection sensitivity of the scanning electro...

PURPOSE To evaluate the feasibility and effectiveness of transcatheter embolization by forcible intraarterial injection of a mixture of ethylene vinyl alcohol copolymer (EVAL) and ethanol under microballoon occlusion compared with conventional transcatheter arterial embolization methods in nontumoral swine liver. MATERIALS AND METHODS Nine swine were divided into three groups: embolization wi...

EVAL is a widely used yet frequently misunderstood SAS macro language function due to its seemingly simple form. However, when its actual argument is a complex macro expression interlaced with special characters, mixed arithmetic and logical operators, or macro quotation functions, its usage and result become elusive and problematic. In this paper, we aim to explore and demystify the intricate ...

Transforming text into executable code with a function such as JavaScript’s eval endows programmers with the ability to extend applications, at any time, and in almost any way they choose. But this expressive power comes at a price. Reasoning about the dynamic behavior of programs that use this features becomes difficult. Any ahead-of-time analysis, to remain sound, is forced to make pessimisti...

ion and function application employ the notion of substitution. Recall the inference rule and its representation in LF: e1 ↪→ lam x. e1 e2 ↪→ v2 [v2/x]e1 ↪→ v ev app e1 e2 ↪→ v ev app : ΠE1:exp. ΠE2:exp. ΠE′ 1:exp→ exp. ΠV2:exp. ΠV :exp. eval E1 (lam E′ 1) → eval E2 V2 → eval (E′ 1 V2) V → eval (app E1 E2) V. As before, we transcribe this (and the trivial rule for evaluating λ-expressions) into...

PURPOSE To determine physical characteristics of mixtures of ethylene vinyl alcohol copolymer (EVAL) and metrizamide dissolved in dimethyl sulfoxide, liquid materials developed for embolization of arteriovenous malformations. METHODS EVAL and dimethyl sulfoxide were mixed in various proportions and sterilized. The viscosity and density of each mixture was measured. Precipitation times were de...

Transforming text into executable code with a function such as JavaScript’s eval endows programmers with the ability to extend applications, at any time, and in almost any way they choose. But, this expressive power comes at a price: reasoning about the dynamic behavior of programs that use this feature becomes challenging. Any ahead-of-time analysis, to remain sound, is forced to make pessimis...

PURPOSE To study the safety, technical efficacy, and histopathology of the ethylene vinyl alcohol copolymer (EVAL) embolic mixture in an animal model. METHODS Microcatheterization of the rete was performed in 29 swine. The clinical, angiographic, and histopathologic consequences of superselective injection of the two principal embolic mixture components (EVAL and dimethyl sulfoxide [DMSO]) we...

This paper dealt with the controlled release of two kinds of drugs, 5-fluorouracil (5-FU) and hydrocortisonum (Hydro.) and loaded poly(ethylene-vinylalcohol) (EVAL), which composed 5-FU/EVAL and Hydro./EVAL matrix systems. The results were analyzed using the pseudo-steady-diffusion models coupled with the fundamental concepts of percolation theory. The percolation thresholds for the two systems...