Verification of Model Transformations Using Isabelle/HOL and Scala.
- Published in:
- Information Systems Frontiers, 2019, v. 21, n. 1, p. 45, doi. 10.1007/s10796-018-9860-9
- By:
- Publication type:
- Article
Works matching DE "SCALA (Computer program language)"
Results: 6
1
2
Designing Applications Using Data-Context-Interactions Architecture in Morpheus.
- Published in:
- Journal of Systems Integration (1804-2724), 2016, v. 7, n. 2, p. 3, doi. 10.20470/jsi.v7i2.256
- By:
- Publication type:
- Article
3
Scala for generic programmers.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 303, doi. 10.1017/S0956796810000171
- By:
- Publication type:
- Article
4
The design of JVM and native libraries in ScalaLab for efficient scientific computation.
- Published in:
- International Journal of Modeling, Simulation & Scientific Computing, 2018, v. 9, n. 5, p. N.PAG, doi. 10.1142/S179396231850037X
- By:
- Publication type:
- Article
5
Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Completion System.
- Published in:
- IAENG International Journal of Computer Science, 2015, v. 42, n. 3, p. 282
- By:
- Publication type:
- Article
6
Scala Web Frameworks: Looking Beyond Lift.
- Published in:
- IEEE Internet Computing, 2011, v. 15, n. 5, p. 87, doi. 10.1109/MIC.2011.123
- By:
- Publication type:
- Article