The design and application of structured types in Ptolemy II

DOI10.1002/int.20391zbMath1213.68167OpenAlexW4252880824MaRDI QIDQ3065298

No author found.

Publication date: 5 January 2011

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.20391

zbMATH Keywords

type lattice

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

The design and application of structured types in Ptolemy II

Uses Software

• Ptolemy

Cites Work

• Unnamed Item
• Tractable constraints in finite semilattices
• The design and application of structured types in Ptolemy II
• A Machine-Oriented Logic Based on the Resolution Principle
• Transactions on Computational Systems Biology III

This page was built for publication: The design and application of structured types in Ptolemy II