Keyphrases
Crossed Product
100%
Regular Expressions
100%
Equational Theory
66%
Algebra Operations
66%
Relational Algebra
66%
Axiomatization
66%
Context-free Languages
66%
Hashing
50%
Equivalence Relation
50%
Parse Tree
45%
Regular Expression Parsing
33%
Pervasive Healthcare
33%
Building Function
33%
Indexed Families
33%
Denotational Semantics
33%
Compositional Specification
33%
Language Design
33%
Commercial Contracts
33%
Cartesian Product
33%
Nested Iteration
33%
Declarative Languages
33%
Sublanguage
33%
Algebraic Computation
33%
Contractual Commitment
33%
Set Relations
33%
Equi-join
33%
Clone Detection
33%
Two-pass
33%
List of Values
33%
Directed Acyclic Graph
33%
Suffix Tree
33%
Data-centric
33%
Domain-specific Languages
33%
Nave
33%
Decision Maker
33%
Parallelization
33%
Symbolic Representation
33%
Comparison-based Sorting
33%
Structural Recursion
33%
Intersection Types
33%
Timely Manner
33%
Incrementality
33%
WS-BPEL
33%
Implementaion
33%
Fortran
33%
Array-based
33%
Transaction System
33%
Process-oriented
33%
Constructor
33%
Language Implementation
33%
Computer Science
Discriminator
100%
Axiomatization
100%
Domain-specific language
83%
Equational Theory
66%
Relational Algebra Operation
66%
Regular Expression
66%
context-free language
66%
Parsing
66%
Cartesian Product
46%
Parallelism
44%
Symbolic Computation
41%
Precondition
33%
Tablet Computer
33%
Healthcare Service
33%
Automatic Generation
33%
Functional Programming
33%
Structured Query Language
33%
Directed Acyclic Graph
33%
Clone Detection
33%
Nested Parallelism
33%
Dynamic Analysis
33%
Deadlock
33%
Operational Semantics
33%
Android
33%
Backtracking
33%
Distributed Ledger
33%
Graphics Processing Unit
33%
Program Synthesis
33%
Distributivity
33%
Metatheory
33%
Decision Maker
33%
Fortran
33%
Financial Software
33%
Transaction System
33%
Constructors
33%
Business Process Execution Language
33%
Equivalence Relation
30%
Customisation
25%
OpenCL
24%
Application Domain
23%
Design Language
22%
Computer Hardware
22%
Denotational Semantics
22%
Execution Model
22%
Hashing
21%
Parse Tree
20%
Multiset Discrimination
17%
Optimization Space
17%
Design for Assembly
16%
Ascending Order
16%
