Keyphrases
Spreadsheets
100%
Non-programming
36%
Separation Logic
36%
Domain-specific Languages
31%
Cost Semantics
22%
Parallelizable
21%
Quad
18%
Functional Program
18%
High-order Functionals
18%
Verication
18%
Partial Evaluation
18%
Database Concepts
18%
Automated Production
18%
Easy Processing
18%
Weather Records
18%
Research Production
18%
Production Equipment
18%
Large Amount of Data
18%
Linked List
18%
Veterinary Research
18%
Animal Production
18%
Relational Database
18%
Long-term Preservation
18%
Questionnaries
18%
Modular Verification
18%
Nondeterminism
18%
Evolving Domains
18%
Low Quality Data
18%
Quality Indicators
18%
Language Specification
18%
Rope
18%
Co-design Method
18%
Programming Languages
18%
Full Use
18%
Language Implementation
18%
Digital Form
18%
Iterator
15%
Debugging
13%
Funcalc
13%
Operational Semantics
13%
High-order
9%
Technology Implementation
9%
Java
9%
Coq Proof Assistant
9%
Search Tree
9%
Underspecification
9%
Two-dimensional Array
7%
Spreadsheet Model
7%
Cell Array
7%
Higher-order Functional Language
6%
Computer Science
Operational Semantics
45%
Data Structure
30%
Domain-specific languages
29%
Case Study
18%
Abstract Interpretation
18%
Two-Dimensional Array
18%
Expected Result
18%
Specification Language
18%
Spreadsheet Model
18%
Functional Program
18%
Tree Search
18%
Parallelization
18%
Programming Language
18%
Future Direction
18%
Term Preservation
18%
Obtain Evidence
18%
Quality Management
18%
Relational Database
18%
Cost Estimation
18%
Presentation Form
18%
Operational Cost
18%
Data Type
18%
Nondeterminism
18%
Linked List
18%
Research Purpose
18%
Task Programming
9%
Individual Function
9%
Order Function
9%
Multicore Processor
9%
User Development
9%
Parallelism
9%
Library Collection
6%