Proceedings of the 30th Symposium on Implementation and Application of Functional Languages

@article{Chitil2018ProceedingsOT,
  title={Proceedings of the 30th Symposium on Implementation and Application of Functional Languages},
  author={O. Chitil and Meng Wang and Aaron Stump and Justin Bailey and Theodore R. Cooper},
  journal={Proceedings of the 30th Symposium on Implementation and Application of Functional Languages},
  year={2018}
}
Agent-Based Simulation (ABS) is a methodology in which a system is simulated in a bottom-up approach by modelling the micro interactions of its constituting parts, called agents, out of which the global system behaviour emerges. So far mainly object-oriented techniques and languages have been used in ABS. Using the SIR model of epidemiology, which simulates the spreading of an infectious disease through a population, we demonstrate how to use pure Functional Reactive Programming to implement… Expand

References

SHOWING 1-4 OF 4 REFERENCES
Extended Static Checking for Java
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers
Refinement reflection: complete verification with SMT
Quantifier Instantiation Techniques for Finite Model Finding in SMT