Sciweavers

10899 search results - page 100 / 2180
» The GP Programming System
Sort
View
DOCENG
2004
ACM
14 years 2 months ago
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
Peter R. King, Patrick Schmitz, Simon J. Thompson
APLAS
2008
ACM
13 years 11 months ago
Sound and Complete Type Inference for a Systems Programming Language
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smi...
SYNASC
2005
IEEE
92views Algorithms» more  SYNASC 2005»
14 years 2 months ago
A Simulator and an Evolution Program for Conformon-P Systems
— A simulator for conformon-P systems is presented together with an initial study of an evolution program optimising processes described by conformon-P systems.
Pierluigi Frisco, Ranulf T. Gibson
SIGADA
2005
Springer
14 years 2 months ago
Experimental performance analysis of ada programs in cluster system
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...
Korochkin Alexandr, Salah Imad, Korochkin Dmitry
IJCAI
1993
13 years 10 months ago
A Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
Patricia M. Hill