Search Sciweavers | Sciweavers

12452 search results - page 269 / 2491

» An exploration of program as language

230

click to vote

FROCOS
2009
Springer

122views Control Systems» more FROCOS 2009»

A Declarative Agent Programming Language Based on Action Theories

16 years 1 days ago

Download cgi.cse.unsw.edu.au

We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...

Conrad Drescher, Stephan Schiffel, Michael Thielsc...

claim paper

Read More »

160

click to vote

EUROGP
2007
Springer

104views Optimization» more EUROGP 2007»

Code Regulation in Open Ended Evolution

16 years 1 months ago

Download cn.cs.unibas.ch

We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their ﬁtness. The goal is to...

Lidia Yamamoto

claim paper

Read More »

215

click to vote

SPIN
2005
Springer

163views Theoretical Computer Science» more SPIN 2005»

Execution Generated Test Cases: How to Make Systems Code Crash Itself

16 years 27 days ago

Download www.stanford.edu

Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...

Cristian Cadar, Dawson R. Engler

claim paper

Read More »

163

click to vote

PPDP
2009
Springer

105views Programming Languages» more PPDP 2009»

Language support for processing distributed ad hoc data

16 years 1 months ago

Download www.research.att.com

Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher,...

claim paper