Suchergebnisse - "Implementations of logic Programming"

Efficient implementation of general negation using abstract interpretation

Autoren: Muñoz Hernández, Susana Moreno Navarro, Juan José Hermenegildo, Manuel V.

Quelle: Procredings. of the AGP'2000 Joint Conference on Declarative Programming | AGP'2000 Joint Conference on Declarative Programming | 4-7 December, 2000 | La Habana, Cuba
Archivo Digital UPM
instname

Schlagwörter: Informática, Interpretación de resúmenes, Constraint Logic Programming, Implementaciones de programación lógica, Análisis de programas, Program analysis, Negation in Logic Programming, Abstract interpretation, Programación lógica restringida, Negación en programación lógica, Implementations of logic Programming

Dateibeschreibung: application/pdf

Zugangs-URL: https://oa.upm.es/14619/

Efficient Implementation of General Negation Using Abstract Interpretation

Autoren: Susana Munoz Juan Jose Moreno Manuel Hermenegildo et al.

Weitere Verfasser: Susana Munoz Juan Jose Moreno Manuel Hermenegildo et al.

Quelle: http://lml.ls.fi.upm.es/~jjmoreno/jjpapers/imp-negation.ps.

Schlagwörter: Negation in Logic Programming, Constraint Logic Programming, Program Analysis, Implementations of Logic Programming, Abstract Interpretation

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9341

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9341
http://lml.ls.fi.upm.es/~jjmoreno/jjpapers/imp-negation.ps

Implementations of Logic Programming Systems

Autoren: Tick E Succi G

Schlagwörter: implementations of logic programming systems, Practical Implementations, n Logic Programming Systems, Parallel Implementations

Zugangs-URL: https://philpapers.org/rec/TICIOL
https://ci.nii.ac.jp/ncid/BA22904382
https://www.dropbox.com/s/nv19otbafi64pm6/Succi.E1.ImplementationsOfLogicProgrammingSystems.pdf?dl=0
https://hdl.handle.net/11585/894859

Efficient Implementation of General Negation Using Abstract Interpretation

Autoren: Susana Munoz Juan Jose Moreno Juan José et al.

Weitere Verfasser: Susana Munoz Juan Jose Moreno Juan José et al.

Quelle: http://clip.dia.fi.upm.es/papers/negation-gulp.pdf.

Schlagwörter: Negation in Logic Programming, Constraint Logic Programming, Program Analysis, Implementations of Logic Programming, Abstract Interpretation

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4564

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4564
http://clip.dia.fi.upm.es/papers/negation-gulp.pdf