|
Descripción
|
|
|---|---|
| This short paper presents some early work in the context of an European project aiming at defining a framework to formalise and check for coding rule conformance using logic programming. We show how a certain class of rules -- structural rules -- can be reformulated as logic programs. This provides both a framework for formal specification and also for automatic conformance checking using a Prolog engine. | |
|
Internacional
|
Si |
|
Entidad
|
14th International Static Analysis Symposium SAS 2007 |
|
Lugar
|
Kongens Lyngby, Denmark |
|
Páginas
|
|
|
Referencia/URL
|
|
|
Tipo de publicación
|
Poster |