Programming language elements for correctness proofs [abstract] /

QR kód

Programming language elements for correctness proofs [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Dévai Gergely
Testületi szerző:	Conference of PhD students in computer science (5.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2006
Sorozat:	Conference of PhD Students in Computer Science 5
Kulcsszavak:	Programozás - előadáskivonat, Számítástechnika - előadáskivonat, Programozási nyelv - 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/59847

Hasonló tételek

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

Metaprogramming on the proof level [abstract] /
Szerző: Dévai Gergely
Megjelent: (2008)

Towards a unified model of computation with correctness proofs [abstract] /
Szerző: Erdélyi Gáspár
Megjelent: (2006)

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

A linear programming background for the R∞ HFF upper bound proof [abstract] /
Szerző: Labádi Máté
Megjelent: (2006)

On the incompleteness of proving partial correctness
Szerző: Gergely Tamás, et al.
Megjelent: (1978)

Correctness-proven code generation for MDA [abstract] /
Szerző: Balogh András
Megjelent: (2004)

On the partial correctness of the alternating bit protocol [abstract] /
Szerző: Lakatos Attila, et al.
Megjelent: (1998)

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

Scott induction and equational proofs
Szerző: Ésik Zoltán, et al.
Megjelent: (1995)

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

On the completeness of proving partial correctness
Szerző: Csirmaz László
Megjelent: (1981)

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

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

Correction - Invariance groups of threshold functions E. K. Horváth /
Szerző: Fülöp Zoltán
Megjelent: (1995)

Approaches to Overpower Proof-of-Work Blockchains Despite Minority
Szerző: Baniata Hamza, et al.
Megjelent: (2023)

Colour space transformation, colour correction and exact colour reproduction on FALCON architecture [abstract] /
Szerző: Kozma Péter
Megjelent: (2002)

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

Partial Pre-Image Attack on Proof-of-Work based Blockchains
Szerző: Baniata Hamza, et al.
Megjelent: (2024)

An Elementary Proof of the General Poincare Formula for λ-additive Measures
Szerző: Dombi József, et al.
Megjelent: (2019)

Computer-assisted existence proofs for one-dimensional Schrödinger-poisson systems
Szerző: Wunderlich Jonathan, et al.
Megjelent: (2020)

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

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

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

An elementary proof of the general Poincaré formula for λ-additive measures
Szerző: Dombi József, et al.
Megjelent: (2019)

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

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

Correction - Mealy-automata in which the output-equivalence is a congruence I. Babcsányi, A. Nagy /
Szerző: Fülöp Zoltán
Megjelent: (1995)

Transformation and simulation of domain specific languages [abstract] /
Szerző: Vágó Dávid
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)

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)

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

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

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

Algebraic representation of language hierarchies
Szerző: Gergely Tamás
Megjelent: (1981)

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

Designing and implementing control flow graph for magic 4th generation language
Szerző: Dévai Richárd, et al.
Megjelent: (2014)