matrix
artifacts
taxonomies
about
resources
contribute
faq
blog
search

Esc

Linear Logic Programming

D3A-LLP (Linear Logic Programming)

Definition

Linear logic programming is a form of logic programming that uses linear logic, that is, it emphasizes the use of formulas as resources.

References

Cosmo, R. and Miller D. (2019, May 24). Linear logic. Stanford Encyclopedia of Philosophy. Link
Linear logic programming. (2023, May 16). In Wikipedia. Link

loading...

loading...

D3FEND^™

A knowledge graph of cybersecurity countermeasures

Use of the MITRE D3FEND™ Knowledge Graph and website is subject to the Terms of Use. Use of the MITRE D3FEND website is subject to the MITRE D3FEND Privacy Policy. MITRE D3FEND is funded by the National Security Agency (NSA) Cybersecurity Directorate and managed by the National Security Engineering Center (NSEC) which is operated by The MITRE Corporation. MITRE D3FEND; and the MITRE D3FEND logo are trademarks of The MITRE Corporation. MITRE ATT&CK® and ATT&CK® are registered trademarks of The MITRE Corporation. MITRE ATT&CK content is subject to the MITRE ATT&CK terms of use. This software was produced for the U. S. Government under Basic Contract No. W56KGU-18-D-0004, and is subject to the Rights in Noncommercial Computer Software and Noncommercial Computer Software Documentation Clause 252.227-7014 (FEB 2012)
© 2023 The MITRE Corporation.
Approved for Public Release; Distribution Unlimited #20-2338 and #23-1207.