منابع مشابه
Refinement Types for Ruby
Refinement types are a popular way to specify and reason about key program properties. In this paper, we introduce RTR, a new system that adds refinement types to Ruby. RTR is built on top of RDL, a Ruby type checker that provides basic type information for the verification process. RTR works by encoding its verification problems into Rosette, a solver-aided host language. RTR handles mixins th...
متن کاملCompiling Ruby into FPGAs
This paper presents an overview of a prototype hardware compiler which compiles a design expressed in the Ruby language into FPGAs. The features of two important modules, the reenement module and the oorplanning module, are discussed and illustrated. Target code can be produced in various formats, including device-speciic formats such as XNF or CFG, and device-independent formats such as VHDL. ...
متن کاملThe Essence of Ruby
Ruby is a dynamic, object-oriented language with advanced features such as yield operator and dynamic class manipulation. They make Ruby a popular, highly productive scripting language, but they also make the semantics of Ruby complicated and difficult to understand. Even the JIS/ISO standard of Ruby seems to contain some ambiguities. For Ruby to be established as a reliable scripting language,...
متن کاملTransformational Rewriting with Ruby
This paper describes a tool for use in user-directed synthesis of circuits speciied using the relational VLSI description language Ruby. The synthesis method is based on transformational rewriting of Ruby terms in accordance with previously deened term equivalences. The tool permits the introduction of constraints into the speciication, thus enhancing the usefulness of the rewrite system in rel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Neurology
سال: 2007
ISSN: 0028-3878,1526-632X
DOI: 10.1212/01.wnl.0000256034.72576.13