Article

An algebraic theory of observables

Authors:

Marco Comini,

Giorgio LeviAuthors Info & Claims

ILPS '94: Proceedings of the 1994 International Symposium on Logic programming

Pages 172 - 186

Published: 01 November 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Comini MLevi GMeo M(2019)A Theory of Observables for Logic ProgramsInformation and Computation10.1006/inco.2000.3024169:1(23-80)Online publication date: 5-Jan-2019
https://dl.acm.org/doi/10.1006/inco.2000.3024
Bossi AMeo M(2010)Theoretical foundations and semantics of logic programmingA 25-year perspective on logic programming10.5555/1880413.1880416(15-36)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1880413.1880416
Dalla Preda MGiacobazzi R(2005)Control Code Obfuscation by Abstract InterpretationProceedings of the Third IEEE International Conference on Software Engineering and Formal Methods10.1109/SEFM.2005.13(301-310)Online publication date: 7-Sep-2005
https://dl.acm.org/doi/10.1109/SEFM.2005.13
Show More Cited By

Index Terms

An algebraic theory of observables
1. Theory of computation
  1. Logic
    1. Constraint and logic programming
  2. Semantics and reasoning
    1. Program semantics

Recommendations

Representations of Algebraic Domains and Algebraic L-domains by Information Systems

Information systems play an important role in characterizing order structures. In this paper, we introduce the notions of the algebraic information system and algebraic L-information system. They are of the same logic-oriented style as the information ...
Algebraic structures on double and plane posets

We study the Hopf algebra of double posets and two of its Hopf subalgebras, the Hopf algebras of plane posets and of posets "without N". We prove that they are free, cofree, self-dual, and we give an explicit Hopf pairing on these Hopf algebras. We also ...
Observables on perfect MV-algebras
Abstract
An observable on an MV-algebra is any σ-homomorphism from the Borel σ-algebra B ( R ) into the MV-algebra which maps a sequence of disjoint Borel sets onto summable elements of the MV-algebra. We establish that there is a one-to-one ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ILPS '94: Proceedings of the 1994 International Symposium on Logic programming

November 1994

690 pages

ISBN:0262521911

Chairmen:
Victor Marek
Univ. of Kentucky
,
Anil Nerode
Cornell Univ.
,
Editor:
Maurice Bruynooghe
Katholieke Univ. Leuven, Belgium

Publisher

MIT Press

Cambridge, MA, United States

Publication History

Published: 01 November 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Comini MLevi GMeo M(2019)A Theory of Observables for Logic ProgramsInformation and Computation10.1006/inco.2000.3024169:1(23-80)Online publication date: 5-Jan-2019
https://dl.acm.org/doi/10.1006/inco.2000.3024
Bossi AMeo M(2010)Theoretical foundations and semantics of logic programmingA 25-year perspective on logic programming10.5555/1880413.1880416(15-36)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1880413.1880416
Dalla Preda MGiacobazzi R(2005)Control Code Obfuscation by Abstract InterpretationProceedings of the Third IEEE International Conference on Software Engineering and Formal Methods10.1109/SEFM.2005.13(301-310)Online publication date: 7-Sep-2005
https://dl.acm.org/doi/10.1109/SEFM.2005.13
Giacobazzi RMastroeni I(2005)Transforming semantics by abstract interpretationTheoretical Computer Science10.1016/j.tcs.2004.12.021337:1-3(1-50)Online publication date: 9-Jun-2005
https://dl.acm.org/doi/10.1016/j.tcs.2004.12.021
Gori R(2003)An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computationsTheoretical Computer Science10.1016/S0304-3975(02)00376-6290:1(863-936)Online publication date: 1-Jan-2003
https://dl.acm.org/doi/10.1016/S0304-3975%2802%2900376-6
Giacobazzi RMastroeni I(2002)Compositionality in the puzzle of semanticsACM SIGPLAN Notices10.1145/509799.50304037:3(87-97)Online publication date: 14-Jan-2002
https://dl.acm.org/doi/10.1145/509799.503040
Giacobazzi RMastroeni IThiemann P(2002)Compositionality in the puzzle of semanticsProceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation10.1145/503032.503040(87-97)Online publication date: 14-Jan-2002
https://dl.acm.org/doi/10.1145/503032.503040
Giacobazzi RMastroeni IGabbrielli M(2000)A characterization of symmetric semantics by domain complementationProceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/351268.351281(115-126)Online publication date: 1-Sep-2000
https://dl.acm.org/doi/10.1145/351268.351281
Giacobazzi RRanzato F(1998)Uniform ClosuresInformation and Computation10.1006/inco.1998.2724145:2(153-190)Online publication date: 15-Sep-1998
https://dl.acm.org/doi/10.1006/inco.1998.2724

Abstract

Cited By

Index Terms

Recommendations

Representations of Algebraic Domains and Algebraic L-domains by Information Systems

Algebraic structures on double and plane posets

Observables on perfect MV-algebras

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations