Corpus ID: 52264517

Verifying Interfaces Between Container-Based Components

@inproceedings{Meiklejohn2018VerifyingIB,
  title={Verifying Interfaces Between Container-Based Components},
  author={Christopher S. Meiklejohn},
  year={2018}
}
Container-based programming has become the lingua franca for building distributed applications. More than ever before, application developers not only have to reason about the behavior of containerized components, but also the composition of these components that are increasingly presented to the developer as prepackaged, “black box” solutions. As a result, there is an increasing need for ways to ensure that composition preserves individual component invariants. In this work, we present a… CONTINUE READING

Figures from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 13 REFERENCES
Design Patterns for Container-based Distributed Systems
  • 42
  • Highly Influential
  • PDF
CORBA: integrating diverse applications within distributed heterogeneous environments
  • 846
  • PDF
A Note on Distributed Computing
  • 479
  • PDF
A behavioral notion of subtyping
  • 1,260
  • PDF
A Theory of Type Polymorphism in Programming
  • 2,374
  • PDF
On understanding types, data abstraction, and polymorphism
  • 1,999
  • PDF
Lineage-driven Fault Injection
  • 42
  • PDF
A Core Calculus for Scala Type Checking
  • 64
  • PDF
Local type inference
  • 360
  • PDF