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 |