Publication:4411953
From MaRDI portal
zbMath1015.68033MaRDI QIDQ4411953
Publication date: 13 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770102.htm
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Abstraction-carrying code: a model for mobile code safety, Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses, Non-strict independence-based program parallelization using sharing and freeness information