Photo by NiPlot/iStock / Getty Images
Photo by NiPlot/iStock / Getty Images

Charm: A Language for Closed-form High-level Architecture Modeling

Fusce at massa nec sapien auctor gravida in in tellus. Donec eget risus diam. Suspendisse nec congue purus. In sit amet felis malesuada, feugiat purus eget, varius mi. Class aptent taciti sociosqu ad litora torquent per conubia nostra, per inceptos himenaeos. Aliquam bibendum, turpis eu mattis iaculis, ex lorem mollis sem, ut sollicitudin risus orci quis tellus. Maecenas non leo laoreet, condimentum lorem nec, vulputate massa.

Weilong Cui, Yongshan Ding, Deeksha Dangwal, Adam Holmes, Joseph McMahan, Ali Javadi-Abhari, Georgios Tzimpragos, Frederic T. Chong, and Timothy Sherwood