Numerical computing is one of the key tools in engineering designs. Due to its utmost importance, researchers have been developing libraries, programming languages, and development environments for numerical computing...
详细信息
Numerical computing is one of the key tools in engineering designs. Due to its utmost importance, researchers have been developing libraries, programming languages, and development environments for numerical computing. Though numerical computing libraries are mature enough for real- world engineering applications, numerical programming languages are not as matured as numerical computing libraries. Today's numerical programming languages are associated with issues, such as poor runtime performance, poor security, and poor utilization of multithreading capabilities of modern processors. In order to address these issues we developed a new programming language named MatPro. Further, a prototyped compiler was developed for the MatPro programming language and multithreading capabilities was integrated into the MatPro compiler. The multithreaded programming model introduced for this language is based on the dynamic multithreaded programming model. Presently, performance of the MatPro compiler is equal to the performance of the C# compiler and we will be working on enhancing the performance of our compiler.
SIMULA is a high‐level language comparable in power to PL/I or ALGOL 68. SIMULA compilers exist for eight different computer series. SIMULA is standardized by a committee mainly consisting of one representative for e...
详细信息
This paper reports on the design and development of a high level language, Malus, for use in implementing a time‐sharing system. Emphasized are the ways that the language and its compiler accommodate the specialized ...
详细信息
We present Sigma C, a programming model and language for high performance embedded manycores. The programming model is based on process networks with non determinism extensions and process behavior specifications. The...
详细信息
ISBN:
(纸本)9783642246494
We present Sigma C, a programming model and language for high performance embedded manycores. The programming model is based on process networks with non determinism extensions and process behavior specifications. The language itself extends C, with parallelism, composition and process abstractions. It is intended to support architecture independent, high-level parallel programming on embedded manycores, and allows for both low execution overhead and strong execution guarantees. Sigma C is being developed as part of an industry-grade tool chain for a high performance embedded manycore architecture.
AOPLID is a novel agent oriented programming language whose theoretical framework is the existed situation calculus theory and agent model based on intention driven manner. An AOPLID program is represented in set ma...
详细信息
AOPLID is a novel agent oriented programming language whose theoretical framework is the existed situation calculus theory and agent model based on intention driven manner. An AOPLID program is represented in set manner. In this paper, an off line AOPLID interpreter in Prolog is implemented, based on the off line AOPLID program semantics. At the same time, the set of rules is given which transforms an AOPLID program represented by sets into Prolog clauses so that it can be interpreted by the off line interpreter. Finally, the sound codes of the off line interpreter are listed.
The adoption of organisation-based agent-oriented programming has been quite limited, due to the lack of programming languages which are expressive enough to tackle the complexity brought by the dynamism of multi-agen...
详细信息
ISBN:
(纸本)9781479939329
The adoption of organisation-based agent-oriented programming has been quite limited, due to the lack of programming languages which are expressive enough to tackle the complexity brought by the dynamism of multi-agent systems. Oragent is an organisation-based agent-oriented programming language which provides explicit language primitives to program organisational concepts such as agents and groups as first-class entities, and to realise adaptation of multi-agent systems via role enactment and role-based interaction. In this paper, we present the execution mechanisms for Oragent language, which support adaptation of agent behaviour via role enactment, and role-based interaction among agents. A case study is presented to demonstrate the viability of these mechanisms.
This paper describes the design of Monty, a language intended to be equally suitable for both scripting and conventional programming. Monty features an unusually flexible type system in which all values are viewed as ...
详细信息
This paper describes the design of Monty, a language intended to be equally suitable for both scripting and conventional programming. Monty features an unusually flexible type system in which all values are viewed as objects in a single-inheritance class hierarchy, static and dynamic typing are smoothly integrated, and both nonvariant and covariant generic classes are supported. An interesting by product of the design of Monty has been the light it has shed on the power of mutability as a linguistic concept. Among other things, it turns out that the type-soundness of a covariant generic class is closely related to the class's mutability.
BACKGROUND:Published descriptions of biology protocols are often ambiguous and incomplete, making them difficult to replicate in other laboratories. However, there is increasing benefit to formalizing the descriptions...
详细信息
BACKGROUND:Published descriptions of biology protocols are often ambiguous and incomplete, making them difficult to replicate in other laboratories. However, there is increasing benefit to formalizing the descriptions of protocols, as laboratory automation systems (such as microfluidic chips) are becoming increasingly capable of executing them. Our goal in this paper is to improve both the reproducibility and automation of biology experiments by using a programming language to express the precise series of steps taken.
RESULTS:We have developed BioCoder, a C++ library that enables biologists to express the exact steps needed to execute a protocol. In addition to being suitable for automation, BioCoder converts the code into a readable, English-language description for use by biologists. We have implemented over 65 protocols in BioCoder; the most complex of these was successfully executed by a biologist in the laboratory using BioCoder as the only reference. We argue that BioCoder exposes and resolves ambiguities in existing protocols, and could provide the software foundations for future automation platforms. BioCoder is freely available for download at http://***/en-us/um/india/projects/biocoder/.
CONCLUSIONS:BioCoder represents the first practical programming system for standardizing and automating biology protocols. Our vision is to change the way that experimental methods are communicated: rather than publishing a written account of the protocols used, researchers will simply publish the code. Our experience suggests that this practice is tractable and offers many benefits. We invite other researchers to leverage BioCoder to improve the precision and completeness of their protocols, and also to adapt and extend BioCoder to new domains.
A truly general purpose programming language, GPL, is described which contains facilities for constructing (within the language) new data types as well as facilities for operations performed upon them. The basic langu...
详细信息
EDISON-80, a superset of the programming language EDISON, is implemented on an Intel Corp. development system. It attempts to provide software designers with a programming environment that combines the benefits of a...
详细信息
EDISON-80, a superset of the programming language EDISON, is implemented on an Intel Corp. development system. It attempts to provide software designers with a programming environment that combines the benefits of abstraction of high-level languages with those of machine-orientation and is powerful enough to support the development of nontrivial system software with a wide range of facilities, including parallel processing. Modifications -- for example, the separate compilation facility -- are introduced into EDISON-80 to make it more powerful than the original. Despite being an interpreted language, the resulting EDISON-80 object code can be downloaded on and is compatible with the existing compiled languages on the system, so that they can be tied together and run on user systems.
暂无评论