SCSS 2014: 6TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE

This page contains an index consisting of author-provided keywords.

A
abort-freedom	Merging Termination with Abort Freedom
abstract interpretation	Parametric Strategy Iteration
Access control	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds
amortized analysis	Towards an amortized type system for JavaScript
Anomalies	Automated detection and resolution of firewall misconfigurations
Anti-unification library for JAVA	A Library of Anti-Unification Algorithms
automatic resolution	Automated detection and resolution of firewall misconfigurations
C
Cloud Computing	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds
Computation of least general generalizations	A Library of Anti-Unification Algorithms
conflicting rules	Automated detection and resolution of firewall misconfigurations
Constraint	A refutation procedure for proving satisfiability of constraint specifications on XML documents
Coq	Machine Learning of Coq Proof Guidance: First Experiments
D
Doxastic Logic	PDT Logic for Stream Reasoning in Multi-agent Systems
E
Epistemic Logic	PDT Logic for Stream Reasoning in Multi-agent Systems
F
Filtering rules	Automated detection and resolution of firewall misconfigurations
Firewall configuration	Automated detection and resolution of firewall misconfigurations
Formal mathematics	Machine Learning of Coq Proof Guidance: First Experiments
I
Implementation of anti-unification algorithms	A Library of Anti-Unification Algorithms
Inference system	Automated detection and resolution of firewall misconfigurations
Interactive theorem proving	Machine Learning of Coq Proof Guidance: First Experiments
Invariant Relation	Merging Termination with Abort Freedom Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis
J
JavaScript	Towards an amortized type system for JavaScript
L
Legislation	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds
M
Machine learning	Machine Learning of Coq Proof Guidance: First Experiments
Misconfigurations	Automated detection and resolution of firewall misconfigurations
mobile applications	Towards an amortized type system for JavaScript
Mutant Generation	Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis
Mutant Selection	Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis
Mutation Analysis	Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis
O
Ontology	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds
P
parametric program analysis	Parametric Strategy Iteration
Privacy	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds
Probabilistic Logic	PDT Logic for Stream Reasoning in Multi-agent Systems
Program Repair	Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis
Proof advice	Machine Learning of Coq Proof Guidance: First Experiments
R
Refutation procedure	A refutation procedure for proving satisfiability of constraint specifications on XML documents
Relative Correctness	Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis
Resource bounds	Towards an amortized type system for JavaScript
Resource usage	Towards an amortized type system for JavaScript
S
Security	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds
Security policy	Automated detection and resolution of firewall misconfigurations
Semantic Web	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds
strategy iteration	Parametric Strategy Iteration
Stream Reasoning	PDT Logic for Stream Reasoning in Multi-agent Systems
superfluous rules	Automated detection and resolution of firewall misconfigurations
T
Temporal Logic	PDT Logic for Stream Reasoning in Multi-agent Systems
termination	Merging Termination with Abort Freedom
Type System	Towards an amortized type system for JavaScript
Type theory	Machine Learning of Coq Proof Guidance: First Experiments
W
while loops	Merging Termination with Abort Freedom
X
XML document	A refutation procedure for proving satisfiability of constraint specifications on XML documents
XPath pattern	A refutation procedure for proving satisfiability of constraint specifications on XML documents

Disclaimer | Powered by EasyChair Smart Program