An approximate program transformation is a transformation that can change the semantics of a program within a specified empirical error bound. Such transformations have wide applications: they can decrease computation time, power consumption, and memory usage, and can, in some cases, allow implementations of incomputable operations. Correctness proofs of approximate program transformations are ...

In this paper, we present an imperative language enhanced with higher-order functions, function currying and a polymorphic type system. This enables high-level programming, as known from functional languages. On the other hand, this language can be eeciently implemented, by translating the functional features into constructs of the imperative base language. An instantiation procedure generates ...

As Android malware is evolving quickly, malware creators are starting to develop new kinds of threats such as remote server-side polymorphic malicious code for Android platform that are being actively generated and distributed via the official Android Markets. Remote server-side polymorphic mobile apps can’t be detected correctly as those apps contain spyware and trojans as a hidden undetectabl...

Getting polymorphism and effects such as mutation to live together in the same language is a tale worth telling, under the recurring refrain of copying vs. sharing. We add new stanzas to the tale, about the ordeal to generate code with polymorphism and effects, and be sure it type-checks. Generating well-typed–by–construction polymorphic let-expressions is impossible in the Hindley-Milner type ...

Cocrystal formation rates during dry grinding and liquid-assisted grinding were investigated by X-ray powder diffractometry and Raman spectroscopy. Two polymorphic forms of piracetam were used to prepare known piracetam cocrystals as model substances, i.e.,piracetam-citric acid and piracetam-tartaric acid cocrystals. Raman spectroscopy in combination with principal component analysis was used t...

We systematically studied the competition between polymorphic transformations and amorphisation of hexagonal ice on isobaric heating from 77 K to 155-170 K at pressures between 0.50 and 1.00 GPa. This competition is analysed here systematically by in situ dilatometry and ex situ X-ray diffraction and calorimetry. Volume vs. temperature curves were analysed using a novel fitting approach in orde...

Unprecedented mechanical properties of the novel TWIP/TRIP titanium alloys are controlled by {332}<113> twinning and stress-induced martensitic transformation, which can operate separately, simultaneously or even in synergy, following a still unclear atomic-scale mechanism. Using ab initio calculations experimental observations, we show that be described as polymorphic solid-state transformatio...

This paper surveys three distinct approaches to bidirectional programming. The first approach, syntactic bidirectionalization, takes a program describing the forward transformation as input and calculates a well-behaved reverse transformation. The second approach, semantic bidirectionalization, is similar, but takes the forward transformation itself as input rather than a program describing it....

FunnyQT1 is a new model querying and transformation approach which is implemented as an API for the functional, JVM-based Lisp-dialect Clojure. It provides several sub-APIs for implementing different kinds of queries and transformations. For example, there is a model-to-model transformation API, and there is an in-place transformation API for writing programmed graph transformations. FunnyQT cu...

This paper surveys three distinct approaches to bidirectional programming. The first approach, syntactic bidirectionalization, takes a program describing the forward transformation as input and calculates a well-behaved reverse transformation. The second approach, semantic bidirectionalization, is similar, but takes the forward transformation itself as input rather than a program describing it....