Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal i...

Full description

Autores:

Dowek, Gilles
Muñoz, César
Rocha, Camilo

Tipo de recurso:

Article of journal

Fecha de publicación:

2010

Institución:

Escuela Colombiana de Ingeniería Julio Garavito

Repositorio:

Repositorio Institucional ECI

Idioma:

eng

OAI Identifier:

oai:repositorio.escuelaing.edu.co:001/1902

Acceso en línea:

https://repositorio.escuelaing.edu.co/handle/001/1902

Palabra clave:

Lenguajes de programación
Lógica en Ciencias de la Computación
Programming Languages
Logic in Computer Science

Rights

openAccess

License

c G. Dowek & C. Munoz & C. Rocha