Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Eiffel10: An object-oriented language with dynamic frame contracts

20064 citationsJournal Articlegreen Open Access

Authors

Bernd Schoeller

Abstract

The memory model is based on a heap model suggested by Peter Mller [3].

Topics & Keywords

Logic, programming, and type systems Parallel Computing and Optimization Techniques Embedded Systems Design Techniques

Publication Details

Published in: Repository for Publications and Research Data (ETH Zurich)

Volume 542

DOI: 10.3929/ethz-a-006784100

Eiffel10: An object-oriented language with dynamic frame contracts | Researchclopedia