Sintesi di algoritmi con SKY
classification
💻 cs.LO
keywords
algorithmicalgoritmidescribesevaluationideasintendedlanguagelogic
read the original abstract
This paper describes the semantics and ideas about SKY, a logic programming language intended in order to specify algorithmic strategies for the evaluation of problems.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.