Negative Ternary Set-Sharing (Q5504663)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 5496700

Language	Label	Description	Also known as
English	Negative Ternary Set-Sharing	scientific article; zbMATH DE number 5496700

Statements

scholarly article

0 references

Negative Ternary Set-Sharing (English)

0 references

0 references

0 references

Elena S. Ackley

0 references

Stephanie Forrest

0 references

Manuel V. Hermenegildo

0 references

Logic Programming

0 references

publication date

22 January 2009

0 references

full work available at URL

http://oa.upm.es/14307/

0 references

MaRDI profile type

MaRDI publication profile

0 references

Two classes of Boolean functions for dependency analysis

0 references

Finite-tree analysis for constraint logic-based languages

0 references

Functional and Logic Programming

0 references

An algebraic approach to sharing analysis of logic programs

0 references

On the design of a correct freeness analysis for logic programs

0 references

A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages

0 references

Static analysis of logic programs for independent and parallelism

0 references

Collapsing Closures

0 references

Lazy Set-Sharing Analysis

0 references

Precise Set Sharing Analysis for Java-Style Programs

0 references

Compile-time derivation of variable dependency using abstract interpretation

0 references

0 references

Negative Ternary Set-Sharing

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-540-89982-2_30

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5504663

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5504663&oldid=35089553"