Abstract Behavior Types: A Foundation Model for Components and Their Composition

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-39656-7_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Model Composition From Interchangeable Components

2007English

A Value Transmission Method for Abstract Data Types

ACM Transactions on Programming Languages and Systems
Software
1982English

An Abstract Model of Three-Dimensional Spatial Data Types

2004English

Constitutive Equations for Sand and Their Application in Numerical Analysis of Strip Foundation Behavior

English

Using Higher-Order Contracts to Model Session Types (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Realms: A Foundation for Spatial Data Types in Database Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Model-Based Formal Specification Directed Testing of Abstract Data Types

English

In-Plane Dynamic Behavior of Two Adjacent Buildings Focused on Different Embedment Depths and Foundation Types

Journal of Structural and Construction Engineering
BuildingConstructionArchitecture
2017English

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

ACM Transactions on Programming Languages and Systems
Software
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy