Boldizsár Németh

Learn More
Functional programming paradigm can be used to build high-level software, especially when combined with a strong type system, like in Haskell. Functions are first-order values in functional languages. Haskell's Lens type generalizes properties (i.e. accessors/mutators) found in other programming languages. However the structure of Lens type prevents using(More)
—Simulating design models makes early verification of the software's business logic possible. Model simulators can be implemented using an interpreter, but it provides limited runtime performance. This is only acceptable if the only use case of the tool is interactive model execution and debugging. If the model executor tool is to be used for automated(More)
  • 1