Declarative View of Imperative Programs

doi 10.14236/ewic/fm1998.3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

BCS Learning & Development

Related search

Declarative and Imperative Programming in Imitation Modeling of Complex Multicomponent Systems

Engineering Journal: Science and Innovation
2012English

Declarative Semantics for Contradictory Modular Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Relational Cost Analysis for Functional-Imperative Programs

Proceedings of the ACM on Programming Languages
2019English

The Digital Preservation Imperative: An Ecosystem View

Library Resources and Technical Services
Information SystemsLibraryInformation Sciences
2014English

An Integrated Proof Language for Imperative Programs

ACM SIGPLAN Notices
Computer Science
2009English

Calculating Quantitative Integrity and Secrecy for Imperative Programs

International Journal of Secure Software Engineering
2015English

SIMPAL: A Compositional Reasoning Framework for Imperative Programs

English

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

Declarative Interpretations Reconsidered

1994English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy