The Jodie programming language [abstract] /

QR kód

The Jodie programming language [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Csáki Tibor Veréb Krisztián
Testületi szerző:	Conference of PhD students in computer science (3.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2002
Sorozat:	Conference of PhD Students in Computer Science 3
Kulcsszavak:	Automaták elmélete - előadáskivonat, Számítástechnika - előadáskivonat, Jodie - programnyelv - 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/59646

Hasonló tételek

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

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

The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /
Szerző: Bunyik Karina, et al.
Megjelent: (2010)

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

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

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

The generalised completeness of Horn predicate-logic as a programming language
Szerző: Andréka Hajnal, et al.
Megjelent: (1978)

Automatic code generation from SDL to a functional programming language for safety critical systems [abstract] /
Szerző: Gombos László
Megjelent: (2000)

Programming by steps [abstract] /
Szerző: Scărlătescu Raluca Oana
Megjelent: (2002)

Control language for distributed clean [abstract] /
Szerző: Hernyák Zoltán, et al.
Megjelent: (2004)

Debug slicing of logic programs [abstract] /
Szerző: Harmath László, et al.
Megjelent: (2000)

Refactoring Erlang programs [abstract] /
Szerző: Horváth Zoltán, et al.
Megjelent: (2006)

Extending the Sparkle Core language with object [abstract] /
Szerző: Horváth Zoltán, et al.
Megjelent: (2004)

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

Transformation and simulation of domain specific languages [abstract] /
Szerző: Vágó Dávid
Megjelent: (2006)

Extending the Sparkle Core language with object abstraction
Szerző: Tejfel Máté, et al.
Megjelent: (2005)

Innovative uses of programming constructs supporting aspect-oriented programming [abstract] /
Szerző: Espák Miklós
Megjelent: (2004)

Parallel functional programming on cluster [abstract] /
Szerző: Zsók Viktória, et al.
Megjelent: (2002)

Preprocessing in linear fractional programming [abstract] /
Szerző: Bekéné Rácz Anett
Megjelent: (2010)

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

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

Language representations starting from fully initial languages
Szerző: Păun Gheorghe, et al.
Megjelent: (1991)

Complex pattern matching strategies in image databases the cut-and-or-not approach : [abstract] /
Szerző: Veréb Krisztián
Megjelent: (2002)

Dynamic slicing of programs compiled for the Java virtual machine [abstract] /
Szerző: Szegedi Attila, et al.
Megjelent: (2004)

Program
Megjelent: (2010)

On representing RE languages by one-sided internal contextual languages
Szerző: Ehrenfeucht Andrzej, et al.
Megjelent: (1996)

Statistical language models within the algebra of weighted rational languages
Szerző: Hanneforth Thomas, et al.
Megjelent: (2009)

Optimization methods for compression in compiler programs [abstract] /
Szerző: Gergely Tamás
Megjelent: (2004)

Prototype environment for refactoring clean programs [abstract] /
Szerző: Szabó-Nacsa Rozália, et al.
Megjelent: (2004)

Structural complexity metrics on SDL programs [abstract] /
Szerző: Pataki Norbert, et al.
Megjelent: (2006)

Error diagnosis in prolog programs a critical view : [abstract] /
Szerző: Kókai Gabriella
Megjelent: (1998)

Classes of tree languages and DR tree languages given by classes of semigroups
Szerző: Gécseg Ferenc
Megjelent: (2011)

Declarative mapping between concrete and abstract syntax of domain-specific visual languages [abstract] /
Szerző: Ráth István
Megjelent: (2006)

A new mathematical formalism for the TTCN 3 core language [abstract] /
Szerző: Jaskó Szilárd
Megjelent: (2004)

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

An analysis of some characteristics of different programming paradigms [abstract] /
Szerző: Putnik Zoran
Megjelent: (1998)

Linear regular languages part I. /
Szerző: Herman Gábor T.
Megjelent: (1969)

Factorizations of languages and commutativity conditions
Szerző: Mateescu Alexandru, et al.
Megjelent: (2002)

Constructive model of the natural language
Szerző: Shynkarenko Viktor, et al.
Megjelent: (2018)

Frontiers of one-letter languages
Szerző: Bloom Stephen L.
Megjelent: (1985)