Checking binary compatibility for modern programming language

QR kód

Checking binary compatibility for modern programming language

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Baráth Áron Ispánovics Gábor Alex Porkoláb Zoltán
Testületi szerző:	Conference of PhD students in computer science (10.) (2016) (Szeged)
Dokumentumtípus:	Könyv része
Megjelent:	2016
Sorozat:	Conference of PhD Students in Computer Science 10
Kulcsszavak:	Számítástechnika - előadáskivonat, Programozás - előadáskivonat, Programozási nyelv - előadáskivonat
Online Access:	http://acta.bibl.u-szeged.hu/61702

Hasonló tételek

Automatic checking of the usage of the C++ move semantics
Szerző: Baráth Áron, et al.
Megjelent: (2015)

Model checking of visual modeling languages [abstract] /
Szerző: Schmidt Ákos
Megjelent: (2004)

Static type checking of model transformation programs
Szerző: Ujhelyi Zoltán
Megjelent: (2010)

R-compatible semigroup varieties
Szerző: Pastijn Francis J., et al.
Megjelent: (2005)

Compatible mappings and fixed points
Szerző: Liu Ze-Qing
Megjelent: (1999)

Extended Static Checking of Evolving Programs by Change Contract
Szerző: Szőke Gábor
Megjelent: (2012)

Checking Vocabulary
Szerző: Takács Bernadett
Megjelent: (1995)

Applying Code Analysis and Machine Learning Techniques to Improve Compatibility and Security of Programs
Szerző: Antal Gábor
Megjelent: (2021)

Compatibility and incompatibility of Calkin equivalence with the Nagy-Foias calculus
Szerző: Esterle Jean, et al.
Megjelent: (1992)

CheckINN revitalizátor vasutasszállóból filmes hotel Makón /
Szerző: Kaszás Fanni
Megjelent: (2024)

Language support for high-level worst-case execution time estimation
Szerző: Baráth Áron, et al.
Megjelent: (2014)

Presenting the checks of dietary supplements by NFCSO
Szerző: Szilvássy Blanka Daniella
Megjelent: (2019)

Languages convex with respect to binary relations, and their closure properties
Szerző: Ang Thomas, et al.
Megjelent: (2009)

Comparison on static slicing of C and binary programs [abstract] /
Szerző: Kiss Ákos
Megjelent: (2004)

Improving saturation-based bounded model checking
Szerző: Darvas Dániel, et al.
Megjelent: (2016)

Humanism in Modern Language Teaching
Szerző: Vajtay Mariann
Megjelent: (2003)

The Jodie programming language [abstract] /
Szerző: Csáki Tibor, et al.
Megjelent: (2002)

The Role of Computer in Modern Language Teaching
Szerző: Lovas Csilla
Megjelent: (1999)

Hello Modern Agrárium Program
Megjelent: (2019)

Static specification completeness checking of UML state machines [abstract] /
Szerző: Pap Zsigmond
Megjelent: (2000)

Physical compatibility of MCT/LCT propofol emulsions with crystalloids during simulated Y-site administration
Szerző: Szalai Gábor, et al.
Megjelent: (2018)

Effect of intermolecular interactions on phase compatibility and material properties in organic-inorganic composite blends
Szerző: Dobos Adina Maria, et al.
Megjelent: (2019)

A check list of ants (Hymenoptera Formicoidea) of a sandy grassland in Kiskunság National Park (Hungary) /
Szerző: Gallé László, et al.
Megjelent: (1988)

45 csapat a CheckINN Turisztikai Innovációs Versenyen
Megjelent: (2022)

Bináris társadalmunk
Szerző: Zakar Azra
Megjelent: (2022)

Programming language elements for correctness proofs
Szerző: Dévai Gergely
Megjelent: (2008)

Programming language elements for correctness proofs [abstract] /
Szerző: Dévai Gergely
Megjelent: (2006)

check out ; Itt ragadt birtokjelzések ; Közbeszerzés ; Thelma feltámadása [versek]
Szerző: Battai Detre István
Megjelent: (2019)

Bináris ásványhatározó "Digitális kődobáló" /
Szerző: Jánosi-Mózes Tibor, et al.
Megjelent: (2006)

Bináris tomográfia poliominók generálása /
Szerző: Kovács Kitti Bianka
Megjelent: (2013)

Bináris képek regisztrációja
Szerző: Biró Attila
Megjelent: (2012)

Tranzitív bináris kódok
Szerző: Mezőfi Dávid Csaba
Megjelent: (2014)

Bináris mátrixok rekonstrukciója
Szerző: Hajdú Ervin Ottó
Megjelent: (1992)

Bináris mátrixok rekonstrukciója
Szerző: Rozgonyi-Borus Ferenc
Megjelent: (1993)

Bináris képállományok megjelenítése
Szerző: Makai József
Megjelent: (2004)

Bináris láncok kiegyensúlyozása
Szerző: Gyurica György
Megjelent: (2002)

Bináris képek vékonyítása
Szerző: Hermanutz Dániel
Megjelent: (2000)

On binary minimal clones
Szerző: Lévai L., et al.
Megjelent: (1996)

Bináris mátrix rekonstrukciója
Szerző: Simon Ágnes
Megjelent: (1988)

New method for designing polymorphic system programming languages [abstract] /
Szerző: Balogh Ádám, et al.
Megjelent: (2006)