Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIs

@inproceedings{Domracheva2016TypetheoreticMF,
  title={Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIs},
  author={A. I. Domracheva and Pavel Shapkin},
  booktitle={KES},
  year={2016}
}

References

SHOWING 1-6 OF 6 REFERENCES
A Type-theoretic Approach to Cloud Data Integration
TLDR
An architecture that helps to integrate data accessible via cloud application APIs based on type theory is proposed that is used to automate the building of integration solutions and for automatic verification of program code and compatibility between APIs.
Enterprise Application Integration
TLDR
This practical guide to implementing an EAI solution leads you through all the major steps, including identifying sources of data, building the enterprise metadata model, process integration, identifying application interfaces, mapping information movement, selecting and applying the technologies, testing, and maintenance.
Next Generation Application Integration: From Simple Information to Web Services
TLDR
This book is all about looking at advanced application integration concepts, approaches, and technologies, with many topics typically not covered in the previous books or any other books for that matter.
Types and programming languages
TLDR
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages, with a variety of approaches to modeling the features of object-oriented languages.
Towards the automated business process building by means of type theory
TLDR
The proposed methodology covers the whole procedure of the business process construction and enables to minimize the need to involve the IT workforce.
Introduction to Mathematical Logic
TLDR
This long-established text continues to expose students to natural proofs and set-theoretic methods and offers enough material for either a one- or two-semester course on mathematical logic.