Verifying Traits: An Incremental Proof System for Fine-Grained Reuse

Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-013-0278-3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Fine-Grained Parallel Ant Colony System for Shared-Memory Architectures

International Journal of Computer Applications
2012English

Fine-Grained Fault Injection Framework for SoC in Power System

DEStech Transactions on Engineering and Technology Research
2017English

Fine-Grained Semantics for Probabilistic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

An Efficient PHR Service System Supporting Fuzzy Keyword Search and Fine-Grained Access Control

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2013English

An Improved Compaction Method for Non-Plastic Fine-Grained Soil Mixture.

Doboku Gakkai Ronbunshu
1999English

Fine-Grained Categorization for 3D Scene Understanding

2012English

Discovering Localized Attributes for Fine-Grained Recognition

2012English

Communication Optimizations for Fine-Grained UPC Applications

2005English

Fine-Grained Open Learner Models

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy