4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.PL2007★ 1 cited
Automatic Coding Rule Conformance Checking Using Logic Programs
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz +3
Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is reali…
cs.PL2007★ 2 cited
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
Edison Mera, Pedro Lopez-Garcia, German Puebla +2
Effective static analyses have been proposed which infer bounds on the number of resolutions or reductions. These have the advantage of being independent from the platform on which…
cs.DS2004★ 4 cited
An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language
Manuel Carro
We describe here a simple application of rational trees to the implementation of an interpreter for a procedural language written in a logic programming language. This is possible…