In this paper, an extension of the non-strict functional language Haskell 3] is presented. It performs the evaluation of expressions by using multiple threads. The synchronous model and the event interface used are similar to Reppy's CML 11], but in this case we must deal with new factors like non-strictness, embedding the synchronous operations into the IO monad. Lazy structures are useful to ...

Deduction by a computer studied so far has been centered around symbolic reasoning with formulas. Recently, attention has been directed to reasoning with diagrams as well, in order to augment the deficiency of reasoning with symbols only. In this paper, we propose a hybrid reasoning system with diagrams and sentences, called JVenn, having perspicuity of diagrams and strictness of symbols comple...

Hunt showed that the notion of PER-based strictness properties subsumed the incomparable notions of idealand projection-based properties on non-lifted value spaces. We extend Hunt’s idea so it can encompass other comportment properties (such as totality) by separating the information and fixpoint orderings. We then define a class of uniform PERs (in the sense that they treat non-bottom ground e...

Dependency analysis aims at identifying how different parts of a program depend on each others. It is the kernel of many issues in program analysis such as dead-code, binding time, strictness, program slicing etc. We address the problem of dependency analysis in the context of typed -calculus. We consider all systems of the -cube and extend them conservatively by the addition of new typing rule...

We discuss how the 1'st order speci cation and programming language ABEL could be extended with higher order functions. Several issues arise, related to subtyping, parameterization, strictness of generators and de ned functions, and to the choice between lambda expressions and currying. The paper can be regarded as an exercise in language design: how to introduce higher order functions under th...

QUESTION Families of children with epilepsy now ask about the ketogenic diet at clinic visits. Is it effective and safe to use for treatment of epilepsy? ANSWER The ketogenic diet can be considered an option for children with intractable epilepsy who use multiple antiepileptic drugs. It is a treatment of choice for seizures associated with glucose transporter protein deficiency syndrome (ie, ...

In this paper, we consider the model of concurrent computations developed for logic programming of Internet agents. The purpose of creating this model of computations is to ensure the mathematical strictness of searching and recognizing information on the Internet. In the developed model of computations, the interacting concurrent processes have classical model-theoretic semantics. The model of...

The non-interference type based analysis and its closely related analyses (dead code elimination, program slicing, confidentiality, strictness, etc.) have been throughly studied in many programming paradigms. The work on this area has been initiated with functional programming, see e.g. [HR98, Pro00, ABHR99], as well as imperative programming, e.g. [SV98]. Following this idea, similar approache...

This paper describes equals, a fast parallel implementation of a lazy functional language on a commercially available shared-memory parallel machine, the Sequent Symmetry. In contrast to previous implementations, we detect parallelism automatically using strictness analysis. Another important diierence between equals and previous implementations is the use of reference counting for memory manag...

Meta modeling is an essential aspect of many MDD approaches. However, there are many different views on how such aspects as instantiation semantics, choice of model elements, or causal connections of layers should be handled. One common school of thought proposes the concept of strict meta modeling which provides more structure to instantiation and avoids “illogical” scenarios such as meta clas...