The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /

QR kód

The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Bunyik Karina Markó Krisztián
Testületi szerző:	Conference of PhD students in computer science (7.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2010
Sorozat:	Conference of PhD Students in Computer Science 7
Kulcsszavak:	Számítástechnika - előadáskivonat, Programozás - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59952

Hasonló tételek

Axiomatizing iteration categories
Szerző: Ésik Zoltán
Megjelent: (1999)

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

XML semantics [abstract] /
Szerző: Havasi Ferenc, et al.
Megjelent: (2002)

Tree transformations and the semantics of loop-free programs
Szerző: Arbib Michael Anthony, et al.
Megjelent: (1978)

Axiomatic systems in fuzzy algebra
Szerző: Drewniak J.
Megjelent: (1981)

The optimistic and cautious semantics for inconsistent knowledge bases
Szerző: Grant John, et al.
Megjelent: (1995)

A finite axiomatization of flowchart schemes
Szerző: Bartha Miklós
Megjelent: (1987)

A note on axiomatizing flowchart schemes
Szerző: Căzănescu Virgil Emil, et al.
Megjelent: (1990)

A note on the axiomatization of iteration theories
Szerző: Ésik Zoltán
Megjelent: (1990)

About the axiomatization of first- and second-order spatio-temporal logics [abstract] /
Szerző: Vályi Sándor
Megjelent: (2000)

Test generation with dynamic impact analysis for C++ programs [abstract] /
Szerző: Biczó Mihály, et al.
Megjelent: (2006)

Rule-based system for conformance testing [abstract] /
Szerző: Areik Abdallah Khalil
Megjelent: (1998)

Trace simulation semantics is not finitely based over BCCSP
Szerző: Aceto Luca, et al.
Megjelent: (2017)

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

On the complete axiomatization for prefix iteration modulo observation congruence
Szerző: Chen Taolue, et al.
Megjelent: (2006)

Semantic web services in .NET aspect [abstract] /
Szerző: Farkas Péter, et al.
Megjelent: (2004)

XML semantics extension
Szerző: Havasi Ferenc
Megjelent: (2002)

Automatically generated Icons for documents of electronic libraries [abstract] /
Szerző: Schmideg Ádám
Megjelent: (1998)

Model driven testing of component based systems [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2006)

On specialized programming language for flexible information systems [abstract] /
Szerző: Popovic Aleksandar, et al.
Megjelent: (1998)

A pattern-based constraint language for metamodels [abstract] /
Szerző: Varró Dániel
Megjelent: (2002)

Identifying Conflict Escalation and Primates by Using Ensemble X-Vectors and Fisher Vector Features
Szerző: José Vicente Egas López, et al.
Megjelent: (2021)

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

On the optimization of library information retrieval systems
Szerző: Iványi Antal M., et al.
Megjelent: (1986)

Giving mathematical semantics of nondeterministic and parallel programming structures by means of attribute grammars
Szerző: Álvarez Gil R.
Megjelent: (1986)

Changing the Basis of Contextual Representations with Explicit Semantics
Szerző: Ficsor Tamás, et al.
Megjelent: (2021)

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

On the multidimensional vector bin packing
Szerző: Csirik János
Megjelent: (1990)

On variable sized vector packing
Szerző: Epstein Leah
Megjelent: (2003)

Identification of Subjects Wearing a Surgical Mask from Their Speech by Means of X-vectors and Fisher Vectors
Szerző: José Vicente Egas López, et al.
Megjelent: (2022)

Generation of test cases for simple Prolog programs
Szerző: Kilpeläinen Pekka, et al.
Megjelent: (1990)

A knowledge-based approach to raster-vector conversion of large scale topographic maps
Szerző: Szendrei Rudolf, et al.
Megjelent: (2011)

Using decision trees to infer semantic functions of attribute grammars [abstract] /
Szerző: Zvada Szilvia, et al.
Megjelent: (2000)

On a parity based group testing algorithm
Szerző: Kiss Sándor Z., et al.
Megjelent: (2015)

Automatic test selection based on CEFSM specifications
Szerző: Kovács Gábor, et al.
Megjelent: (2002)

A comparative study of C++ standard template library's formal specification [abstract] /
Szerző: Pataki Norbert, et al.
Megjelent: (2008)

Enhanced macrostep-based debugging methodology for parallel programs [abstract] /
Szerző: Lovas Róbert, et al.
Megjelent: (2002)

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

Improving content management - a semantic approach
Szerző: Kovács Barna
Megjelent: (2008)

Towards languages that support program derivation or control modularity considered harmful /
Szerző: Kurki-Suonio Reino
Megjelent: (1990)