Sciweavers

11022 search results - page 105 / 2205
» Programming Systems for Autonomy
Sort
View
JFLP
2002
84views more  JFLP 2002»
15 years 4 months ago
Subject Reduction of Logic Programs as Proof-Theoretic Property
We consider prescriptive type systems for logic programs (as in G
Pierre Deransart, Jan-Georg Smaus
KES
2008
Springer
15 years 4 months ago
Functional genetic programming and exhaustive program search with combinator expressions
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...
Forrest Briggs, Melissa O'Neill
IPPS
2000
IEEE
15 years 9 months ago
Bounded-Response-Time Self-Stabilizing OPS5 Production Systems
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
Albert Mo Kim Cheng, Seiya Fujii
POS
1998
Springer
15 years 9 months ago
Porting a Distributed System to PJama: Orthogonal Persistence for Java?
This paper describes the experience of porting a 25,000 line distributed Java [GJS97] program to version 0.3.5.1 of the orthogonally persistent programming environment PJama. The ...
Huw Evans, Susan Spence
COMPSAC
2009
IEEE
15 years 8 months ago
Cartesian Programming: The TransLucid Programming Language
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
John Plaice, Blanca Mancilla