The programming languages Erlang and Scheme have many common features yet the performance of the current implementations of Erlang appears to be below that of good implementations of Scheme This disparity has prompted us to investigate the translation of Erlang to Scheme Our intent is to reuse the mature compilation technology of cur rent Scheme compilers to quickly implement an e cient Erlang ...

Hilbert’s operator is a binder that picks an arbitrary element from a nonempty set. The operator is typically used in logics and proof engines. This paper contributes a discussion of considerations in supporting this operator in a programming language. More specifically, the paper presents the design choices made around supporting this operator in the verification-aware language Dafny.

Many tasks requiring intelligence, in particular scheduling and planning, must be solved under time constraints. This is diicult to achieve because of the combinato-rial nature of such tasks. While search heuristics can give good average performance, they cannot give any peformance guarantees for a particular instance. Fortunately, the tasks are often very similar. Therefore, compiling partial ...

Many coherence-based approaches to inconsistency handling within propositional belief bases have been proposed so far. They consist in selecting one or several preferred consistent subbases of the given (usually inconsistent) stratified belief base (SBB), then using classical inference from some of the selected subbases. Unfortunately, deciding the corresponding inference relations is typically...

Natural semantics has become a popular tool among programming language researchers. It is used for specifying many aspects of programming languages, including type systems, dynamic semantics, translations between representations, and static analyses. The formalism has so far largely been limited to theoretical applications, due to the absence of practical tools for its implementation. Those who...

This paper presents a program transformation, representation analysis, that makes it possible for languages with polymorphic types, such as ML, to use unboxed data representations in monomorphic code. The solution the paper presents involves the use of coercions to convert back and forth between unboxed representations used by monomorphic functions to the boxed representation used by polymorphi...

Background: Each pregnant woman desires normal labor and the trust from health staffs support other people. This literature review is to determine experiences of women at process. Aim: Knowing psychological women. Methods: Five stages were used conduct a scoping review. The include identifying research questions, relevant studies, selecting charting data compiling, summarizing reporting results...

Stream processing is becoming an area of active research in computer architecture. Many applications, including media and signal processing, image compression, and scientific applications can be speeded up by several orders of magnitude by processing them with stream processors[1][6]. However, compiling the applications efficiently in order to exploit the underlying architectural capabilities o...

Typical application fields of Knowledge Based Systems are a usually characterized by having human expertise as the only one source to specify their desired behavior. Their design, evaluation and refinement has to make effective use of this valuable source. After sketching the concept of collecting validation experience in a Validation Knowledge Base (VKB), the paper introduces an estimation of ...

Within the T-CREST project we work on hardware/software architectures and code-generation strategies for time-predictable embedded and cyber-physical systems. In this paper we present the single-path code generation approach that we plan to explore and implement in a compiler prototype for a timepredictable processor. Single-path code generation produces code that forces every execution to foll...