Filters








116,959 Hits in 3.6 sec

Quantitative Logics for Equivalence of Effectful Programs [article]

Niels Voorneveld
2019 arXiv   pre-print
In order to reason about effects, we can define quantitative formulas to describe behavioural aspects of effectful programs.  ...  These formulas can for example express probabilities that (or sets of correct starting states for which) a program satisfies a property.  ...  Acknowledgements: I would like to thank Alex Simpson, Francesco Gavazzo and Aliaume Lopez for all the helpful discussions and comments.  ... 
arXiv:1904.11771v1 fatcat:cu47fs4i6bce5ll5ktsh2mkdue

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Alessandro Aldini
2020 Electronic Proceedings in Theoretical Computer Science  
In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001.  ...  Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security.  ...  (2009): Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes.  ... 
doi:10.4204/eptcs.312.1 fatcat:4fjvygbppjbq3k5ury2kvue3nq

Page 3222 of Mathematical Reviews Vol. , Issue 98E [page]

1998 Mathematical Reviews  
The logic programming formalization of situation calculus with concurrent actions presented in this paper is of independent in- terest and may serve as a testing ground for the investigation of various  ...  That paper introduced a declarative language for describing the effects of actions, and defined the semantics of ¥ based on the notion of a finite automaton.  ... 

Capturing the Essence of Practical Obfuscation [chapter]

J. Todd McDonald
2012 Communications in Computer and Information Science  
In the realm of protecting programs from illegitimate use, obfuscation offers a modicum of defense against malicious reverse engineering and tampering.  ...  We argue that mathematical frameworks such as abstract interpretation and Boolean algebras may provide an ideal marriage of theory and practice, providing focused direction for future research.  ...  Assuming that circuit candidates for obfuscation are in a minimally reduced form to begin with, circuit variation effectively introduces logical redundancy.  ... 
doi:10.1007/978-3-642-29166-1_44 fatcat:rqezlqbfynfi7dyidzormarol4

Verification methods for finite systems [chapter]

Ahmed Bouajjani, Joseph Sifakis
1991 Lecture Notes in Computer Science  
By verification, we mean the comparison of a system against its specifications. We consider that a system is described by a program. Specifications describe the service provided by the system and  ...  The increasing complexity of concurrent systems requires the development of rigorous design methods.  ...  On the other hand, behavioural equivalences cannot capture all kinds of properties expressed in temporal logics, for instance liveness.  ... 
doi:10.1007/3540539816_59 fatcat:so4l25s75faspeiiwg5ygoamle

Page 1441 of Mathematical Reviews Vol. , Issue 2000b [page]

2000 Mathematical Reviews  
One of the central problems in theory of program- ming is the problem of the functional equivalence of programs, and this paper is devoted to the study of the approximation of program semantics with respect  ...  Summary: “We study the long-standing problem of semantics for input/output (I/O) expressed using side-effects.  ... 

A Spreadsheet Auditing Tool Evaluated in an Industrial Context

Markus Clermont, Christian Hanin, Roland T. Mittermeir
2008 arXiv   pre-print
Our auditing approach defines three similarity criteria between formulae, namely copy, logical and structural equivalence.  ...  Amongst the large number of write-and-throw-away spreadsheets developed for one-time use there is a rather neglected proportion of spreadsheets that are huge, periodically used, and submitted to regular  ...  But for the majority of logical equivalence classes at least one of these properties applies. Above, we defined the logical equivalence class to be a set of similar cells.  ... 
arXiv:0805.1741v1 fatcat:4gmxop7iyvet3m6u6ylntsg6ju

SOCRATES: A system for automatically synthesizing and optimizing combinational logic

D. Gregory, K. Bartlett, A. deGeus, G. Hachtel
1988 Papers on Twenty-five years of electronic design automation - 25 years of DAC  
ACKNOWLEDGEMENTS We wish to acknowledge and thank William Cohen, Tony Hefner, Bob Lisanke, Tim Moore, Van Morgan, and Jim Reed for their contributions to this project.  ...  The effectiveness of such programs depends on their ease of use, and the quality of the circuits they produce. A number of factors that affect these characteristics are discussed below.  ...  SOCRATES uses one set of programs to reduce the logic of designs, and another set of programs to choose the best components to implement designs.  ... 
doi:10.1145/62882.62952 fatcat:uzuz4gnhrvdevkueq5apqy2tfa

SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic

D. Gregory, A. de Geus, K. Bartlett, G. Hachtel
1986 23rd ACM/IEEE Design Automation Conference  
ACKNOWLEDGEMENTS We wish to acknowledge and thank William Cohen, Tony Hefner, Bob Lisanke, Tim Moore, Van Morgan, and Jim Reed for their contributions to this project.  ...  The effectiveness of such programs depends on their ease of use, and the quality of the circuits they produce. A number of factors that affect these characteristics are discussed below.  ...  SOCRATES uses one set of programs to reduce the logic of designs, and another set of programs to choose the best components to implement designs.  ... 
doi:10.1109/dac.1986.1586072 fatcat:gzxx7an4z5ajld7ljb25pn52ga

Behavioural Equivalence via Modalities for Algebraic Effects [article]

Alex Simpson, Niels Voorneveld
2019 arXiv   pre-print
The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations.  ...  Two programs are considered as being behaviourally equivalent if they enjoy the same behavioural properties. To formulate this, we define a logic whose formulas specify behavioural properties.  ...  We thank Francesco Gavazzo, Aliaume Lopez and the anonymous conference and journal reviewers for helpful discussions and comments.  ... 
arXiv:1904.08843v3 fatcat:t5jwpi5frvetrgh5wge7jlszxe

Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Explaining Biases in Machine Learning

Alfonso Ortega, Julian Fierrez, Aythami Morales, Zilong Wang, Marina de la Cruz, César Luis Alonso, Tony Ribeiro
2021 Computers  
Inductive logic programming (ILP) is a subfield of symbolic AI aimed to automatically learn declarative theories about the processing of data.  ...  Learning from interpretation transition (LFIT) is an ILP technique that can learn a propositional logic theory equivalent to a given black-box system (under certain conditions).  ...  LFIT can be used to learn an equivalent propositional logic program that provides explanations for each given observation.  ... 
doi:10.3390/computers10110154 fatcat:nk7xdcwwunhurftvwwphqrob74

The Effect of Mentoring on Undergraduate Mentors: A Systematic Review of the Literature

Andrew S. Leavitt, Kari L. Nelson, Christine E. Cutucache
2022 Frontiers in Education  
Overall, we identified the following best practice suggestions for future research on the effect of mentoring on mentors, specifically: the employment of longitudinal and exploratory mixed methods designs  ...  However, little reliable information exists regarding the effect of mentoring on the mentor.  ...  ACKNOWLEDGMENTS Thanks to the Department of Biology, the Honors Program, and the University of Nebraska at Omaha for providing the resources for this project.  ... 
doi:10.3389/feduc.2021.731657 fatcat:nuoapshwtrar7bmtxn5cuxpyh4

Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms [chapter]

Annabelle K. McIver
1999 Lecture Notes in Computer Science  
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and nondeterminism interact  ...  We show that overall performance can be formulated directly in the logic and that it can be derived from local properties of components.  ...  Acknowledgements This paper reports work carried out at Oxford within a project supported by the EPSRC -Carroll Morgan and Jeff Sanders are also members of that project.  ... 
doi:10.1007/3-540-48778-6_2 fatcat:oblrgrjcbndebasdxy4nlmi6fe

Development Of Logic Model For R&D Program Plan Analysis In Preliminary Feasibility Study

Hyun-Kyu Kang
2013 Zenodo  
The logic model is a very useful tool for evaluating R&D program plans.  ...  The Korean Government has applied the preliminary feasibility study to new government R&D program plans as a part of an evaluation system for R&D programs.  ...  The R&D budget of the Korean Government has expanded from 4.2 trillion Korean won in 2000 to 16.9 trillion Korean won (equivalent to about 14.7 billion dollar) in 201 quantitative increase of R&D investment  ... 
doi:10.5281/zenodo.1087985 fatcat:clxiomdyirfrtg4eqbjtkyidpi

An Application of Fuzzy Logic to Strategic Environmental Assessment [chapter]

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli
2011 Lecture Notes in Computer Science  
Strategic Environmental Assessment (SEA) is used to evaluate the environmental effects of regional plans and programs.  ...  In this paper we employ fuzzy logic and many-valued logics together with numeric transformations for performing SEA.  ...  ., the one implemented via the constraint programming approach) in terms of quantitative fuzzy concepts.  ... 
doi:10.1007/978-3-642-23954-0_30 fatcat:4jc4aw2wznab7dztg4eusee4nq
« Previous Showing results 1 — 15 out of 116,959 results