Semantyka, weryfikacja, analiza i transformacja kodu bajtowego, Saarbrucken, Niemcy :: Wydarzenia / Polski Serwis Naukowy

Polecamy również:

Generowanie kodu 2011, Cambridge, Wlk. Brytania

DNA w formie kodu kreskowego przyspiesza mapowanie genomu

EUMINAfab otwarta dla przedsiębiorców i naukowców

Dziesiąte międzynarodowe warsztaty nt. równoległych i rozproszonych metod certyfikacji, Snowbird, USA

"Testowanie: konferencja dla akademików i przedsiębiorców - praktyka i techniki badawcze", Windsor, Wlk. Brytania

Letnie warsztaty nt. zarządzania prywatnością i tożsamością w nowo pojawiających się aplikacjach internetowych, Helsingborg, Szwecja

Dnia 27 marca 2011 r. w Saarbrucken, Niemcy, odbędzie się konferencja pt. Semantyka, weryfikacja, analiza i transformacja kodu bajtowego.

Kod bajtowy, taki jak ten generowany przez kompilatory Java czy .NET, stał się ważnym tematem zainteresowania przedsiębiorców i naukowców. Zainteresowanie przedsiębiorców wynika z faktu, że kod bajtowy jest zwykle stosowany w aplikacjach internetowych i urządzeń mobilnych (karty chipowe, telefony itd.), gdzie istotnym zagadnieniem jest bezpieczeństwo.

Kod bajtowy jest niezależny od urządzenia i umożliwia dynamiczne wprowadzanie kategorii, co stanowi dodatkowe wyzwanie dla stosowania metod formalnych. Ponadto nieustrukturyzowany charakter kodu i wszechobecność stosu argumentu również stawiają dodatkowe wyzwania przed analizą kodu bajtowego.

Warsztaty skupią się na teoretycznych i praktycznych aspektach semantyki, weryfikacji, analizy, certyfikacji i przekształcania kodu bajtowego.

Za: CORDIS

komentuj publikację

Czy wiesz że...?

wersja BETA

Kod zarządzany - odmiana kodu bajtowego działającego pod kontrolą środowiska uruchomieniwego Microsoft .NET Common Language Runtime. W przeciwieństwie do klasycznego kodu bajtowego kod zarządzany jest kompilowany do kodu maszynowego bezpośrednio przed pierwszym uruchomieniem, jest więc do tego czasu przenośny i dostosowany do każdego procesora i systemu operacyjnego, o ile jest na nim zainstalowane środowisko uruchomieniowe, dzięki czemu łączy w sobie zalety zarówno kodu bajtowego jak i kodu maszynowego. pełny tekst

Aplet Javy aplet dostarczany w postaci kodu bajtowego Javy. Może zostać uruchomiony w przeglądarce internetowej wykorzystując wirtualną maszynę Javy albo w samodzielnej aplikacji AppletViewer służącej do testowania apletów Javy. Mogą być pisane zarówno w Javie jak i innych językach kompilowanych do kodu bajtowego - na przykład Jython. pełny tekst

MIDletPascal darmowy kompilator na licencji GPL języka programowania Pascal pozwalający na wygenerowanie kodu bajtowego zgodnego z implementacja Java ME , co pozwala na uruchamianie aplikacji w nim napisanych na różnorakich urządzeniach mobilnych takich jak : telefony, palmtopy itp. pełny tekst

Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".