Search results for "ohjelmointikieli"
showing 2 items of 2 documents
Modelling Without a Modelling Language
2018
Developments in computer hardware and programming languages, in this case C++, have made it feasible to write models of concurrent systems under verification in the programming language, instead of some established modelling language such as Promela. While this does not reduce the usefulness of modelling languages, it offers new possibilities that may be advantageous, for instance, when teaching state space ideas to newcomers or when experimenting with new scientific ideas. In earlier work, we were able to express everything else fairly naturally in C++, except the set of transitions. The present study uses C++ lambda functions to represent naturally transitions that consist of a tail state…
Ohjelmointikielten parametrinvälitysmekanismit
2011
Sandström, Petri Ohjelmointikielten parametrinvälitysmekanismit Jyväskylä: Jyväskylän yliopisto, 2011, 28 s. Tietojenkäsittelytiede, kandidaatintutkielma Ohjaaja: Hirvonen, Pertti Tässä tutkimuksessa tutustutaan ohjelmointikielten parametrinvälitykseen kes-kittyen erilaisten parametrinvälitysmekanismien toimintaan. Tutkimuksen jäl-kimmäisessä osassa selvitetään muutaman uudemman ohjelmointikielen perus-teella parametrinvälityksen tämänhetkistä tilaa. Tutkimus toteutetaan pääasial-lisesti kirjallisuuteen perustuvana katsauksena. Tavoitteena on selvittää, minkä-laisia parametrinvälitysmekanismeja ja parametrinvälityksen semanttisia malle-ja ohjelmointikielten historiassa on kehitetty ja mitä …