2 research outputs found
Towards Qualifiable Code Generation from a Clocked Synchronous Subset of Modelica
- Author
- Alois Knoll
- Bernhard Thiele
- Broman D.
- Broy M., Krcmar, H., Zimmermann, J., and Kirstan, S.
- Frank S., Grabmuller, M., Hofstedt, P., Kleeblatt, D., Pepper, P., Mai, P.R., and Schneider, S.-A.
- Fritzson P.
- ISO 26262-8:2011.
- KÃ¥gedal D. and Fritzson, P.
- Modelica Association.
- Odersky M., Spoon, L., and Venners, B.
- Peter Fritzson
- Sauvage S. and Bouali, A.
- Schäuffele J. and Zurawka, T.
- à ström K.J. and Hägglund, T.
- à ström K.J. and Wittenmark, B.
- Publication venue
- 'Norwegian Society of Automatic Control'
- Publication date
- 01/01/2015
- Field of study
Bootstrapping a Compiler for an Equation-Based Object-Oriented Language
- Author
- Adrian Pop
- Appel A.W., Mattson, J.S., and Tarditi, D.R.
- Bachmann B., editor.
- Blume M.
- Broman D.
- Brus S.
- Brück D., Elmqvist, H., Olsson, H., and Mattsson, S.E.
- Casella F., editor.
- Chailloux E., Manoury, P., and Pagano, B.
- Clauà C., editor.
- Elmqvist H.
- Equa AB.
- Fritzson P.
- Fritzson P.
- Fritzson P.
- Fritzson P.
- Fritzson P.
- Fritzson P. and Pop, A.
- Fritzson P. and Pop, A.
- Fritzson P., Aronsson, P., Lundvall, H., Nyström, K., Pop, A., Saldamli, L., and Broman, D.
- Fritzson P., Gunnarsson, J., and Jirstrand, M.
- Fritzson P., Pop, A., and Aronsson, P.
- Fritzson P., Pop, A., and Sjolund, M.
- Hindley J.R.
- ITI GmbH.
- Kloas M., Friesen, V., and Simons, M.
- Levine J.
- Lopez-Rojas E.A.
- Maplesoft.
- Martin Sjölund
- Milner R.
- Milner R., Tofte, M., Harper, R., and MacQueen, D.
- MLton.
- Modelica Association.
- Modelica Association.
- Modelica Association.
- Nilsson H., Peterson, J., and Hudak, P.
- Nilsson U. and Maluszynski, J.
- Odersky M., Spoon, L., and Venners, B.
- Otter M. and Zimmer, D., editors.
- Otter M., editor.
- Parr T.
- Peter Fritzson
- Pettersson M.
- Pettersson M.
- Pop A.
- Pop A., Fritzson, P., Remar, A., Jagudin, E., and Akhvlediani, D.
- Pop A., Stavåker, K., and Fritzson, P.
- Sahlin P. and Sowell, E.F.
- Sjölund M.
- Stavåker K., Pop, A., and Fritzson, P.
- Tarditi D.R. and Appel, A.W.
- Tiller M.
- Wilson P.R.
- Wolfram Mathcore.
- Publication venue
- 'Norwegian Society of Automatic Control'
- Publication date
- 01/01/2014
- Field of study