Relations as Executable Specifications: Taming Partiality and Non-Determinism Using Invariants

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-33314-9_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Executable Interface Specifications for Testing Asynchronous Creol Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

On Determinism Versus Non-Determinism and Related Problems

1983English

A Model-Based Approach for Executable Specifications on Reconfigurable Hardware

English

Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules

Journal of Applied Logic
Applied MathematicsLogic
2009English

A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications

ACM Transactions on Parallel Computing
MathematicsSimulationHardwareComputer Science ApplicationsArchitectureModelingComputational TheorySoftware
2014English

Operational Semantics Using the Partiality Monad

ACM SIGPLAN Notices
Computer Science
2012English

Modeling and Control of Discrete-Event Systems With Partial Non-Determinism Using Petri Nets

Acta Polytechnica Hungarica
EngineeringMultidisciplinary
2020English

Taming Foreign Exchange Derivatives Markets? Speculative Finance and Class Relations in Brazil

Development and Change
Development
2019English

Relations Between the Cohomology Groups of Dolbeault and Topological Invariants

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
1955English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy