Search Results - "Language Classifications— constraint and logic languages General Terms Languages"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Programming Languages, Software/Program Verification, D.4.6 [Operating Systems, Security and Protection—access controls, D.3.2 [Programming Languages, Language Classifications— constraint and logic languages General Terms Languages, Security Keywords ActionScript, Verification, Coinductive Logic Programming, Model Checking, In-lined Reference Monitoring
File Description: application/pdf
Nájsť tento článok vo Web of Science