For this project, we worked with Andreas Stuhlmüller to develop and implement a new inference algorithm for the Church programming language. Church is a programming language that extends Scheme with random primitives. For more details, see the original Church paper [1] Andreas developed the basic algorithm and we did most of the implementation work, also working with Andreas to extend the algor...

This paper deals with a framework to program autonomous robots in the declarative multi-paradigm language Curry. Our goal is to apply a high-level declarative programming language for the programming of embedded systems. For this purpose, we use a specialization of Curry called Embedded Curry. We show the basic ideas of our framework and an implementation that translates Embedded Curry programs...

This is a description of the programming language Forsythe, which is a descendant of Algol 60 intended to be as uniform and general as possible, while retaining the basic character of its progenitor. This document supercedes Report CMU{CS{88{159, \Preliminary Design of the Programming Language Forsythe" 1].

In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming languages for the programming of embedded systems. Our programming model is based on a recent proposal to integrate a process-oriented specification language in Curry. We show the basic ideas of our framework and demo...

The facilities of the PS-algol programming language are described in this paper to show how they may be used to provide an integrated graphics programming environment. The persistent store mechanism and the secure transaction facilities of the language provide the basic environment in which an integrated system may be implemented. This is augmented by data types and operations to support line d...

The essence of component-oriented programming is a new understanding of extensibility in which the development and integration of extensions is a distributed activity, not a centralized one as in previous software development paradigms. Component-oriented programming languages must therefore be designed to have certain basic properties that support rather than impede the distributed extensibili...

Many modern programming languages support basic generics, sufficient to implement type-safe polymorphic containers. Some languages have moved beyond this basic support, and in doing so have enabled a broader, more powerful form of generic programming. This paper reports on a comprehensive comparison of facilities for generic programming in eight programming languages: C++, Standard ML, Objectiv...

The aim of this research is to develop a system for estimating cost contingencies during a tender preparation. The proposed system is composed of a causal belief network and a risk-contingency model. A survey was conducted to evaluate the significance of twenty two factors affecting residential projects' cost overruns. The results were employed to define the conditional probability distribution...

According to the working principle of spherical hob, computing formulae of normal and axial profile of the spherical hob are deduced, and calculation methods of other main parameters are introduced in the paper. Then the computer aided design and calculation of spherical hob is realized by Visual Basic programming language, which increases the calculation speed and accuracy. And the new manufac...

For AOP (Agent Oriented Programming) to become a mature discipline, lessons must be learned from practical language implementations. We present AF-APL (AgentFactory Agent Programming Language) as an Agent Oriented Programming Language that has matured with continued revisions and implementations, resulting in a language which, although based on the more theoretical aspects of AO design has inco...