You are here

Keywords

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Abstract Diagnosis (5) Abstract Interpretation (12) Abstract Verification (5)
Abstraction (2) Algebraic-oriented Specification (1) Approximate Filtering of XML (2)
Assertion Language (2) Bioinformatics (1) call-time choice semantics (1)
cc (9) CCT (1) Compositionality (2)
Cost Matrixes (1) Cost-sensitive Evaluation (1) Curry (4)
Debugging (7) Declarative Debugging (3) Declarative Diagnosis (3)
Description logic (2) DIG (1) Fold/Unfold Transformations (2)
Functional Programming (1) Functional-logic Programming (6) functions (1)
GVERDI (2) Haskell (1) Homeomorphic Tree embedding (1)
Inductive Learning (1) Inductive Verification (8) Logic (1)
Logic Programming (7) Maude (2) model checking (8)
Model-checking (2) OBJ (1) OCL (1)
Ontology-based Approximate Filter (1) OWL (2) partial rewriting (1)
Pattern Matching (1) Petri nets (1) PHIL (2)
program correction (2) Program Transformation (4) property-oriented specifications (3)
Quantitative Pathway Logic (1) Rewriting Logic (7) Rule-based domain specific language (1)
Semantic Filtering (1) Semantic Verification (1) semantic-based inference methods (1)
Semantics (5) semantics-based inference methods (2) SLD-derivations (2)
Specification of Web Applications (1) symbolic representation (2) tccp (2)
Trace Slicing (1) Transformation of logic programs (2) Tree Simulation (2)
TRS (1) UML Design Patterns (1) UML diagrams (1)
UML formal specification (1) UML models (1) Unfolding (2)
Validation (1) VERDI (1) Verification (3)
Verification of Web Applications (5) verification of Web sites (1) Web site debugging (1)
Web site repair (1) Web Site Verification (2) Web-TLR (1)
Web-VERDI (2) XML (1)