Object-oriented description of graph data structures

DOI10.1134/S0361768807050027zbMath1154.68350MaRDI QIDQ927450

A. V. Demakov

Publication date: 9 June 2008

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (1)

Integration of verification methods for program systems

Uses Software

• Eiffel

Cites Work

• Test generation for compilers and other formal text processors
• Modular statically typed multimethods
• Generation of abstract programming interfaces from syntax definitions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Object-oriented description of graph data structures