Amanote Research
Register
Sign 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. Ishtiaq
Peter W. O'Hearn
Publisher
ACM Press
Related search
Constitutive Rules: Games, Language, and Assertion
Philosophy and Phenomenological Research
Philosophy
Philosophy of Science
History
The Norm of Assertion: Empirical Data
Cognition
Developmental
Educational Psychology
Language
Cognitive Psychology
Cognitive Neuroscience
Linguistics
Experimental
Language as a Catalyst to Identity Assertion Among the Tribes of North East India
Journal of Socialomics
Double Threshold in Bi- And Multilingual Contexts: Preconditions for Higher Academic Attainment in English as an Additional Language
Frontiers in Psychology
Psychology
An Access Control Model for Tree Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Expression of Uncertainty as a Strategy for Mitigating the Assertion. An Analysis in an Oral Computerized Corpus
Language Preference in a Bi-Language Digital Library
Data Structures for Big Data
International Journal of Computing and Optimization
Prop Profile of Bi-Hamiltonian Structures
Journal of Noncommutative Geometry
Mathematical Physics
Geometry
Topology
Number Theory
Algebra