Standard Type Soundness for Agents and Artifacts

Scientific Annals of Computer Science - Romania
doi 10.7561/sacs.2012.2.267
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Scientific Annals of Computer Science

Related search

Type Soundness Proofs With Definitional Interpreters

2017English

Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages

2011English

An Efficient Deblocking Filter Algorithm for Reduction of Blocking Artifacts in HEVC Standard

International Journal of Image, Graphics and Signal Processing
2016English

Big Types in Little Runtime: Open-World Soundness and Collaborative Blame for Gradual Type Systems

ACM SIGPLAN Notices
Computer Science
2017English

Industry Soundness

Journal of the American Water Works Association
Water ScienceChemistryTechnology
2018English

Artifacts and Fantasy

English

Zero Knowledge and Soundness Are Symmetric

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Computational Soundness of Formal Indistinguishability and Static Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Financial Soundness Index for the Private Corporate Sector in Colombia

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy