Learn More
We present αRby—an embedding of the Alloy language in Ruby— and demonstrate the benefits of having a declarative modeling language (backed by an automated solver) embedded in a traditional object-oriented imperative programming language. This approach aims to bring these two distinct paradigms (imperative and declarative) together in a novel way. We argue(More)
The aim of this study was to investigate the use of a prosthetic biologic material-lyophilized dura mater (Lyodura) in patching esophageal defects in dogs, having in view its potential use in bridging long gap congenital esophageal atresia and patching acquired esophageal defects. To follow the incorporation process, 20 mongrel dogs had full-thickness, 6(More)
This study compares three prosthetic materials for potential use in patching and bridging congenital and acquired esophageal defects. The study was divided into two parts. In the first part, full-thickness, 6-cm2 cervical esophageal defects were induced in three groups of young mongrel dogs and were replaced with patches of lyophilized dura mater (Lyodura),(More)
  • 1