3,355 research outputs found
Verification of high-level transformations with inductive refinement types
International audienceHigh-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtrack-ing and generalized iterators. We present the design and implementation of an abstract interpretation tool, Rabit, for verifying inductive type and shape properties for transformations written in such languages. We describe how to perform abstract interpretation based on operational semantics, specifically focusing on the challenges arising when analyzing the expressive traversals and pattern matching. Finally, we evaluate Rabit on a series of transformations (normaliza-tion, desugaring, refactoring, code generators, type inference, etc.) showing that we can effectively verify stated properties. CCS Concepts • Software and its engineering → General programming languages; • Social and professional topics → History of programming languages
Recommended from our members
Best Practices of Honor Societies
Academic honor societies are widely available within
university communities. These student organizations can
fill valuable roles within engineering departments. The
inception of engineering-related honor societies followed
the establishment of engineering education within
American universities. Honor societies with their student
focus grew as complementary organizations to the
professional societies for engineering disciplines. The
national or international structure of honor societies
generally provides considerable resources for professional
education, leadership training, and service activity. For
departments, an honor society chapter can provide
engagement with students, alumni, community, etc.
However, the existence of an honor society chapter at an
institution does not necessarily mean that the chapter is
effectively serving the host department(s) and its
engineering students. This paper describes commonalities
among engineering honor societies, the possible roles of an
honor society within an engineering department, and some
best practices for effective honor society chapters. Specific
examples from the operation of IEEE-Eta Kappa Nu
(IEEE-HKN), the honor society of the Institute of Electrical
and Electronics Engineers (IEEE), are given.Cockrell School of Engineerin
Particulate emissions from energy systems
General models of aerosol dynamics, originally developed to
simulate atmospheric aerosol behavior, have been extended for
application to combustion and other high temperature processes.
These models are now being used to study the fate of ash vapors
in conventional pulverized-coal combustion. Field measurements
have shown that the vapors condense preferentially on the surfaces
of the smaller ash particles. Previous simplified calculations have
suggested that large numbers of very small particles may also be
formed by the condensation of these vapors. The new, exact calculations
will be used to explore the relative importance of new particle
formation and condensation on existing particles, the size distributions
of the particles produced under various combustion conditions,
and the distribution of chemical composition with respect to particle
size
Requests of Brown by LC Classification: May 2003
Requests of Brown from other HELIN libraries - May 200
Requests of Brown by LC Classification: May 2003
Requests of Brown from other HELIN libraries - May 200
Requests of Brown by LC Classification: July 2003
Requests of Brown from other HELIN libraries - July 200
Requests of Brown by LC Classification: January 2009
Requests of Brown from other HELIN libraries - January 200
- …