Extending the Sparkle Core language with object abstraction

QR kód

Extending the Sparkle Core language with object abstraction

Sparkle is a theorem prover specially constructed for the functional programming language Clean. In a pure functional language like Clean the variables represent constant values; variables do not change in time. Hence it seems that temporality has no meaning in functional programs. However, in certa...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Tejfel Máté Horváth Zoltán Kozsik Tamás
Testületi szerző:	Conference for PhD Students in Computer Science (4.) (2004) (Szeged)
Dokumentumtípus:	Cikk
Megjelent:	2005
Sorozat:	Acta cybernetica 17 No. 2
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12774

Hasonló tételek

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

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

A formalisation of Core Erlang, a concurrent actor language
Szerző: Bereczky Péter, et al.
Megjelent: (2024)

Extending a system with verified components [abstract] /
Szerző: Dávid Ákos, et al.
Megjelent: (2006)

Optimizing object location in mobile distributed object systems [abstract] /
Szerző: Gesztesi Gábor
Megjelent: (2000)

Adaptation of a refactoring DSL for the object-oriented paradigm
Szerző: Németh Dávid J., et al.
Megjelent: (2022)

On extended simple eco-grammar systems [abstract] /
Szerző: Csima Judit
Megjelent: (1998)

Using object oriented techniques at implementing compilers [abstract] /
Szerző: Porkoláb Zoltán
Megjelent: (1998)

Structural views in object-oriented databases [abstract] /
Szerző: Lomic Marijana
Megjelent: (1998)

On extended simple eco-grammar systems
Szerző: Csima Judit
Megjelent: (1998)

Community detection by using the extended modularity
Szerző: Griechisch Erika, et al.
Megjelent: (2011)

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

Core of communities in bipartite networks
Szerző: Bongiorno Christian, et al.
Megjelent: (2017)

On the formal definition of VDL-objects
Szerző: Fekete I., et al.
Megjelent: (1977)

P systems with picture objects
Szerző: Krishna Shankara Narayanan, et al.
Megjelent: (2001)

Workflow processing using ERP objects
Szerző: Selmeci Attila, et al.
Megjelent: (2015)

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

Comparing specification with proved properties of clean dynamics [abstract] /
Szerző: Lövei László, et al.
Megjelent: (2006)

Evaluating the effectiveness of object oriented metrics for bug prediction [abstract] /
Szerző: Siket István
Megjelent: (2008)

Identification of the place and materials of knocking objects in flow induced vibration [abstract] /
Szerző: Dobján Tibor, et al.
Megjelent: (2010)

Fundamental concepts of object oriented databases
Szerző: Schewe Klaus-Dieter, et al.
Megjelent: (1993)

The metric dimension of two-dimensional extended meshes
Szerző: Adar Ron, et al.
Megjelent: (2018)

Object oriented model for parameter estimation of partially separable functions [abstract] /
Szerző: Järvi Jaakko
Megjelent: (1998)

The extended analog computer and functions computable in a digital sense
Szerző: Piekarz Monika
Megjelent: (2010)

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

Camera placement optimization in object localization system
Szerző: Szalóki Dávid, et al.
Megjelent: (2015)

Parallelization of an algorithm for the automatic detection of deformable objects
Szerző: González-Linares J. M., et al.
Megjelent: (2001)

Parallelization of an algorithm for non rigid objects detection with stochastic global optimization [abstract] /
Szerző: González-Linares J. M., et al.
Megjelent: (2000)

Synthesis of abstract algorithms
Szerző: Varga L.
Megjelent: (1980)

Combining common sense rules and machine learning to understand object manipulation
Szerző: Sárkány András, et al.
Megjelent: (2019)

Reconstruction of 3D objects containing spheres and cylinders from a few projections [abstract] /
Szerző: Rodek Lajos, et al.
Megjelent: (2004)

A Spatial Convexity Descriptor for Object Enlacement
Szerző: Brunetti Sara, et al.
Megjelent: (2019)

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

Identification of the place and materials of knocking objects in flow induced vibration
Szerző: Dobján Tibor, et al.
Megjelent: (2011)

Reconstruction of 2D binary objects from a few fan-beam projections [abstract] /
Szerző: Nagy Antal, et al.
Megjelent: (2004)

Abstract model-based checkpoint and recovery [abstract] /
Szerző: Pintér Gergely
Megjelent: (2004)

Framework for generating object-oriented databases from conceptual specifications
Szerző: Kovács György, et al.
Megjelent: (1997)

Object-oriented model for partially separable functions in parameter estimation
Szerző: Järvi Jaakko
Megjelent: (1999)

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

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