Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Big-step Operational Semantics Revisited

Dominik J., Kuśmierek M., Bono V.

Fundamenta Informaticae

2010

Vol. 103, nr 1-4

137-172

In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated via a big-step operational semantics is weak, while the option of using a small-step operational semantics is not always an option, because it is less intuitive to build and understand. We support our claim by using a simple language called LM, for which we present a big-step semantics expressed with the new approach, allowing one to formulate a stronger type soundness property. We prove this property for LM and we present an example of an error in the typing rules which does not violate the typical type soundness property, but does violate ours.

Fizyka na Scenie [Ze zjazdów i konferencji]

Kuśmierek M., Mostowski J.

Postępy Fizyki

2001

T. 52, z. 2

95-96

W dniach 6-10 listopada 2000 r. w CERN-ie w Genenoble odbyta się konferencja pod nazwą "Physics on Stage" "Fizyka na Scenie" (por. notatkę w Kronice PF, zesz. 4/2000). Dotyczyła ona dwóch nieco odrębnych zagadnień. Pierwsze to popularyzacja, drugie - dydaktyka fizyki. Organizatorami byli: CERN, ESO (European Southern Observatory) oraz ESA (European Space Agency). Uczestniczyto ponad 500 osób z 22 krajów. Polska delegacja, kierowana przez prof. Tadeusza Skośkiewicza, obejmowała 28 osób, w tym 21 czynnych nauczycieli ze szkół podstawowych, gimnazjalnych i licealnych z różnych stron Polski, a także osobną grupę pod wodzą prof. Krzysztofa Ernsta, która przygotowała i zaprezentowała przedstawienie poświęcone fizyce ping-ponga.