Flow Lambda Calculus for Declarative Physical Connection Semantics

@inproceedings{Broman2007FlowLC,
  title={Flow Lambda Calculus for Declarative Physical Connection Semantics},
  author={David Broman},
  year={2007}
}
One of the most fundamental language constructs of equation-based objectoriented languages is the possibility to state acausal connections, where both potential variables and flow variables exist. Several of the state-ofthe art languages in this category are informally specified using natural language. This can make the languages hard to interpret, reason about, and disable the possibility to guarantee the absence of certain errors. In this work, we construct a formal operational small-step… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 12 references

A Language and Simulator for Hybrid Systems

Georgina Fábián
PhD thesis, Institute for Programming research and Algorithmics, • 1999
View 1 Excerpt

VHDL-AMS - A Hardware Description Language for Analog and Mixed-Signal Applications

Ernst Christen, Kenneth Bakalar
IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, • 1999
View 1 Excerpt

A Natural Semantics specification for the equation-based modeling languge Modelica

David K̊agedal
Master’s thesis, Linköping University, • 1998
View 1 Excerpt

A modelling and Simulation Language for Combined Lumped and Distributed Parameter Systems

M. Oh, Costas C. Pantelides
Computers and Chemical Engineering, • 1996
View 1 Excerpt

Object-Oriented Modeling and Simulation of Hybrid Systems

Mats Andersson
PhD thesis, Department of Automatic Control, Lund Institute of Technology, • 1994
View 2 Excerpts

A History of C++: 1979-1991

HOPL Preprints • 1993
View 2 Excerpts

Similar Papers

Loading similar papers…