Amanote Research

Amanote Research

    RegisterSign In

BI as an Assertion Language for Mutable Data Structures

doi 10.1145/360204.375719
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2001

Authors
Samin S. IshtiaqPeter W. O'Hearn
Publisher

ACM Press


Related search

Constitutive Rules: Games, Language, and Assertion

Philosophy and Phenomenological Research
PhilosophyPhilosophy of ScienceHistory
2018English

The Norm of Assertion: Empirical Data

Cognition
DevelopmentalEducational PsychologyLanguageCognitive PsychologyCognitive NeuroscienceLinguisticsExperimental
2018English

Language as a Catalyst to Identity Assertion Among the Tribes of North East India

Journal of Socialomics
2016English

Double Threshold in Bi- And Multilingual Contexts: Preconditions for Higher Academic Attainment in English as an Additional Language

Frontiers in Psychology
Psychology
2014English

An Access Control Model for Tree Data Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

The Expression of Uncertainty as a Strategy for Mitigating the Assertion. An Analysis in an Oral Computerized Corpus

English

Language Preference in a Bi-Language Digital Library

2005English

Data Structures for Big Data

International Journal of Computing and Optimization
2014English

Prop Profile of Bi-Hamiltonian Structures

Journal of Noncommutative Geometry
Mathematical PhysicsGeometryTopologyNumber TheoryAlgebra
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy