Corpus ID: 59888

Sintesi di algoritmi con SKY

@article{Ianni2001SintesiDA,
  title={Sintesi di algoritmi con SKY},
  author={G. Ianni},
  journal={ArXiv},
  year={2001},
  volume={cs.LO/0111011}
}
  • G. Ianni
  • Published 2001
  • Computer Science
  • ArXiv
  • 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. 

    Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 14 REFERENCES
    Computers and Intractability: A Guide to the Theory of NP-Completeness
    • 45,338
    • PDF
    Circumscribing DATALOG: Expressive Power and Complexity
    • 27
    • PDF
    Affronteremo infine un problema di una certa rilevanza pratica, onde mostrare la bontà di un sistema basato su SKY, sul terreno dell
      Basi di Dati e Basi di Conoscenza, volume I. Ed. italiana Gruppo Editoriale Jackson
      • 1991
      CO[s(Y )] f ail ← c
        Inoltre c indicherà dei sottoinsiemi di cardinalità 3 se e solo se ogni tuplaè composta da elementi distinti: f ail ← c
          Questa ridondanza nella validazione dell'inputè in parte dovuta alle carenze del modello relazionale, il cui tipo di dato principaleè appunto la relazione
            Rilevamento di errori in un circuito logico
              Un linguaggio logico di specifica per la sintesi di algoritmi di soluzione di problemi in NP
              • 1998