Learn More
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these predicates; if a predicate fails, the enforcer raises an exception that blames a specific module with an explanation of the fault.In this paper, we show how to use such module(More)
Programs in embedded languages contain invariants that are not automatically detected or enforced by their host language. We show how to use macros to easily implement partial evaluation of embedded interpreters in order to capture invariants encoded in embedded programs and render them explicit in the terms of their host language. We demonstrate the(More)
This paper describes an experimental embedding of Python into DrScheme. The core of the system is a compiler, which translates Python programs into equivalent MzScheme programs , and a runtime system to model the Python environment. The generated MzScheme code may be evaluated or used by DrScheme tools, giving Python programmers access to the DrScheme(More)
A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving the system of constraints produces a conservative approximation to the program's runtime flow of values. Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example,(More)
Although numerous clinical studies have proved that impaired rectal sensation is a major factor in fecal continence dysfunctions, objective studies in this field are still lacking. To provide information on normal rectal afferents, a study of cerebral potentials evoked by mechanical stimulation of the rectal wall was carried out in 10 healthy volunteers (5(More)
Stilbenes, especially resveratrol and its derivatives, have become famous for their positive effects on a wide range of medical disorders, as indicated by a huge number of published studies. A less investigated area of research is their antimicrobial properties. A series of 13 trans-resveratrol analogues was synthesized via Wittig or Heck reactions, and(More)
Further advances in understanding the mechanism of action of resveratrol and its application require new analogs to identify the structural determinants for the cell proliferation inhibition potency. Therefore, we synthesized new trans-resveratrol derivatives by using the Wittig and Heck methods, thus modifying the hydroxylation and methoxylation patterns(More)
—A highly linear, efficient, two-stage power amplifier for high-data-rate wireless applications is presented. The linearity is greatly improved by adding an auxiliary amplifier to the main bipolar transistor amplifier in a feed-forward approach to cancel out the nonlinearity terms. The efficiency enhancement is achieved using a switchable biasing and a(More)