Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hugh Gibbons
Declarative View of Imperative Programs
Related publications
Declarative and Imperative Programming in Imitation Modeling of Complex Multicomponent Systems
Engineering Journal: Science and Innovation
Declarative Semantics for Contradictory Modular Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relational Cost Analysis for Functional-Imperative Programs
Proceedings of the ACM on Programming Languages
The Digital Preservation Imperative: An Ecosystem View
Library Resources and Technical Services
Information Systems
Library
Information Sciences
An Integrated Proof Language for Imperative Programs
ACM SIGPLAN Notices
Computer Science
Calculating Quantitative Integrity and Secrecy for Imperative Programs
International Journal of Secure Software Engineering
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Declarative Interpretations Reconsidered
