Photo from academic.microsoft.com
Logic underlies many fundamental techniques in computer science. It helps us to rigorously formalize these techniques and prove them correct. The last decade has witnessed a growing interest in the… Click to show full abstract
Logic underlies many fundamental techniques in computer science. It helps us to rigorously formalize these techniques and prove them correct. The last decade has witnessed a growing interest in the use of computational logic methods for program verification. It has attracted researchers from both computational logic and program verification communities, giving rise to a fruitful exchange of ideas and experiences.
Keywords:
computational logic;
issue computational;
logic verification;
verification;
introduction special;
special issue
Journal Title: Theory and Practice of Logic Programming
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Theory and Practice of Logic Programming
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!