A formal library of set relations and its application to synchronous languages

Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and execution of binary set relations is presented. The formal library consists of a...

Full description

Autores:

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

Tipo de recurso:

Article of journal

Fecha de publicación:

2011

Institución:

Escuela Colombiana de Ingeniería Julio Garavito

Repositorio:

Repositorio Institucional ECI

Idioma:

eng

OAI Identifier:

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

Acceso en línea:

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

Palabra clave:

Establecer relaciones
Synchronous languages
Semántica de pasos pequeños
Semántica lógica
Ejecución del plan
Set relations
Small-step semantics
Rewriting logic semantics
Plan execution
Lenguajes síncronos

Rights

closedAccess

License

http://purl.org/coar/access_right/c_14cb