Conclog: A Methodological Approach to Concurrent Logic Programming
Buch in deiner Nähe kaufen
Beschreibung
This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog conserves the declarative appeal of logic programming while ensuring efficiency. The methodology is aimed at constructing Conclog programs in a rigorous way.
Autor*in
Jean-Marie Jacquet
Themen in »Conclog: A Methodological Approach to Concurrent Logic Programming«
Concurrent Programming Deduction and Theorem Deduktion und Beweisen Formal Definitions Formale Definition Logic Programming Nebenläufiges Programmieren Programmierung (EDV) Softwareentwicklung formal specification logic optimization programming programming language