Optimizing Abstract Abstract Machines

The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article contributes a complementary step-by-step process for subsequently going from a naive analyzer derived under the AAM approach, to an efficient and correct implementation. The end result of the process is a two to three order-of-magnitude improvement over the systematically derived analyzer, making it competitive with hand-optimized implementations that compute fundamentally less precise results.Comment: Proceedings of the International Conference on Functional Programming 2013 (ICFP 2013). Boston, Massachusetts. September, 201

McCune-Albright syndrome, natural history and multidisciplinary management in a series of 14 pediatric cases

International audienceBACKGROUND: McCune-Albright syndrome is a rare disorder characterized by endocrine disorders, café-au-lait spots and fibrous dysplasia of bone that occurs early in life.ăMETHODS: A series of 14 pediatric cases were followed between 1994 and 2013 by the competence center for rare endocrine diseases and constitutional bone diseases at CHU de Nancy (France). The diagnosis is based on the presence of at least two symptoms.ăRESULTS: The mean follow-up was 6 years (1-17 years). The sex ratio was six girls per boy. The incidence was 0.28 cases/million population/year. Mean age at diagnosis was 6 years. A mutation in the GNAS gene was found in 33% of patients tested. Gonadal involvement (13/14 cases), including early peripheral puberty and ovarian cysts in girls (82%) occurred on average at 4 years of age. Bone involvement (10/14 cases) appeared on average at 5 years of age and was most often multiple (80%) with fracture risk, and the skull, with a neurosensory risk.ăCONCLUSION: Clinical definition and methods of screening and monitoring can be improved to allow for an earlier intervention. It must be multidisciplinary and take into account the disability and quality of life of the patient