263 research outputs found
Environments for term rewriting engines for free!
Term rewriting can only be applied if practical implementations of term rewriting engines exist. New rewriting engines are designed and implemented either to experiment with new (theoretical) results or to be able to tackle new application areas. In this paper we present the Meta-Environment: an environment for rapidly implementing the syntax and semantics of term rewriting based formalisms. We provide not only the basic building blocks, but complete interactive programming environments that only need to be instantiated by the details of a new formalism
An industrial application of context-sensitive formatting.
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code transformation tool chain. In this paper we report on the application of generic tools for constructing formatters. In an industrial setting automated formatters need to be tailored to the requirements of the customer. The (legacy) programming language or dialect and the corporate formatting conventions are specific and non-negotiable. Can generic formatting tools deal with such unexpected requirements? Driven by an industrial case of 78 thousand lines of Cobol code, several limitations in existing formatting technology have been addressed. We improved its flexibility by replacing a generative phase by a generic tool, and we added a little expressiveness to the formatting backend. Most importantly, we employed a multi-stage formatting architecture that can cope with any kind of formatting convention using more computational powe
Automated generation of program translation and verification tools using annotated grammars
Automatically generating program translators from source and target language specifications is a non-trivial problem. In this paper we focus on the problem of automating the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures. We exploit their similarities to semi-automatically build transformation tools between these DSLs. The input to our method is a collection of annotated context-free grammars. To simplify the overall translation process even more, we also propose an intermediate representation common to all operations languages. Finally, we discuss how to enrich our annotated grammars model with more advanced semantic annotations to provide a verification system for the translation process. We validate our approach by semi-automatically deriving translators between some real world operations languages, using the prototype tool which we implemented for that purpose
The effects of cultural intelligence on ASEAN mobility students’ sociocultural adjustment
Student mobility is one of the key strategic elements of cooperation which leads to development of a harmonized higher education environment among countries in Southeast Asia.The ASEAN International Mobility for Students (AIMS) program was initiated in 2009 purposely to encourage student mobility through multilateral collaborations among ASEAN member countries. In the context of globalization and challenging jobs market, the demand for highly qualified graduates who are able to cope in diverse cultural settings is in a serious need.As most universities view international students as a source of lucrative income and a critical success factor for international education marketing, it is imperative that the challenges that could reduce the learning effectiveness for international students should be minimised.As such, Cultural Intelligence (CQ), which is defined as a person’s capability to function effectively in situations characterised by culture diversity (Ang et al., 2007) may provide one of the solutions to minimise adjustment difficulties, specifically in integrating with the host country’s environment. Hence, this paper will introduce the concept of CQ and enlighten the role of CQ in promoting mobility students’ cross-cultural competence development. We propose a conceptual model, discussing the impacts of CQ on mobility students’ sociocultural
adjustment. This paper also provides some insight on how CQ training could help mobility students in the ASEAN region to be well prepared to undertake study across the globe
Safe Specification of Operator Precedence Rules
International audienceIn this paper we present an approach to specifying opera- tor precedence based on declarative disambiguation constructs and an implementation mechanism based on grammar rewriting. We identify a problem with existing generalized context-free parsing and disambigua- tion technology: generating a correct parser for a language such as OCaml using declarative precedence specification is not possible without resorting to some manual grammar transformation. Our approach provides a fully declarative solution to operator precedence specification for context-free grammars, is independent of any parsing technology, and is safe in that it guarantees that the language of the resulting grammar will be the same as the language of the specification grammar. We evaluate our new approach by specifying the precedence rules from the OCaml reference manual against the highly ambiguous reference grammar and validate the output of our generated parser
The He Cross Section at Large Missing Energy
The reaction on nuclei was studied in kinematics
designed to emphasize effects of nuclear short-range correlations. The measured
cross sections display a peak in the kinematical regions where two-nucleon
processes are expected to dominate. Theoretical models incorporating
short-range correlation effects agree reasonably with the data.Comment: 4 pages LaTeX, using espcrc1.sty and wrapfig.sty (included), two
figures. Talk presented by J. Templon at the 15th Int. Conf. on Few-Body
Problems in Physics, Groningen, The Netherlands, 22-26 July, 199
Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
The control software of the CERN Compact Muon Solenoid experiment contains
over 30,000 finite state machines. These state machines are organised
hierarchically: commands are sent down the hierarchy and state changes are sent
upwards. The sheer size of the system makes it virtually impossible to fully
understand the details of its behaviour at the macro level. This is fuelled by
unclarities that already exist at the micro level. We have solved the latter
problem by formally describing the finite state machines in the mCRL2 process
algebra. The translation has been implemented using the ASF+SDF
meta-environment, and its correctness was assessed by means of simulations and
visualisations of individual finite state machines and through formal
verification of subsystems of the control software. Based on the formalised
semantics of the finite state machines, we have developed dedicated tooling for
checking properties that can be verified on finite state machines in isolation.Comment: To appear in FSEN'11. Extended version with details of the ASF+SDF
translation of SML into mCRL
Persistent inhibition of neointimal hyperplasia after sirolimus-eluting stent implantation: long-term (up to 2 years) clinical, angiographic, and intravascular ultrasound follow-up
BACKGROUND: Early results of sirolimus-eluting stent implantation showed a nearly complete abolition of neointimal hyperplasia. The question remains, however, whether the early promising results will still be evident at long-term follow-up. The objective of our study was to evaluate the efficiency of sirolimus-eluting stent implantation for up to 2 years of follow-up. METHODS AND RESULTS: Fifteen patients with de novo coronary artery disease were treated with 18-mm sirolimus-eluting Bx-Velocity stents (Cordis) loaded with 140 microg sirolimus/cm2 metal surface area in a slow release formulation. Quantitative angiography (QCA) and intravascular ultrasound (IVUS) were performed according to standard protocol. Sirolimus-eluting stent implantation was successful in all 15 patients. During the in-hospital course, 1 patient died of cerebral hemorrhage after periprocedural administration of abciximab, and 1 patient underwent repeat stenting after 2 hours because of edge dissection that led to acute occlusion. Through 6 months and up to 2 years of follow-up, no additional events occurred. QCA analysis revea
SRAO CO Observation of 11 Supernova Remnants in l = 70 to 190 deg
We present the results of 12CO J = 1-0 line observations of eleven Galactic
supernova remnants (SNRs) obtained using the Seoul Radio Astronomy Observatory
(SRAO) 6-m radio telescope. The observation was made as a part of the SRAO CO
survey of SNRs between l = 70 and 190 deg, which is intended to identify SNRs
interacting with molecular clouds. The mapping areas for the individual SNRs
are determined to cover their full extent in the radio continuum. We used
halfbeam grid spacing (60") for 9 SNRs and full-beam grid spacing (120") for
the rest. We detected CO emission towards most of the remnants. In six SNRs,
molecular clouds showed a good spatial relation with their radio morphology,
although no direct evidence for the interaction was detected. Two SNRs are
particularly interesting: G85.4+0.7, where there is a filamentary molecular
cloud along the radio shell, and 3C434.1, where a large molecular cloud appears
to block the western half of the remnant. We briefly summarize the results
obtained for individual SNRs.Comment: Accepted for publication in Astrophysics & Space Science. 12 pages,
12 figures, and 3 table
- …