From a Specification to an Equivalence Proof in Object-Oriented Parallelism.
Isabelle AttaliDenis CaromelSylvain LippiPublished in: IPPS/SPDP Workshops (1999)
Keyphrases
- object oriented
- programming language
- provably correct
- conceptual model
- formal specification
- object oriented databases
- database design
- database schema
- query language
- data model
- database applications
- relational databases
- definition language
- specification language
- conceptual models
- software engineering
- theorem proving
- object oriented programs
- object oriented languages
- programming interface
- object oriented database systems
- neural network
- object oriented concepts
- computational power
- shared memory
- object oriented programming
- data flow
- theorem prover
- design patterns
- equivalence relation
- fine grain
- data warehousing
- constraint language
- user defined
- learning environment
- object oriented data models
- high level
- learning algorithm
- database