8,063 Hits in 5.9 sec

A Logic for Reflective ASMs [chapter]

Klaus-Dieter Schewe, Flavio Ferrarotti
2020 Lecture Notes in Computer Science  
We show that fragments of the logic with a fixed bound on the number of steps preserve completeness, whereas the full run-logic for rASMs becomes incomplete.  ...  Recently a behavioural theory of reflective algorithms has been developed, which shows that they are captured by reflective abstract state machines (rASMs).  ...  Furthermore, as reasoning about reflective algorithms only makes sense for multiple steps, we also extend the one-step ASM logic to a multiple-step logic.  ... 
doi:10.1007/978-3-030-48077-6_7 fatcat:5e6cyb62gbevvkpfdrnxc6nm7e

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.  ...  A 9-line Prolog interpreter for sequential ASMs, including discussion of extensions for layered ASMs.  ...  Rosenzweig One ASM A1 is constructed to reflect faithfully the algorithm. Then a more abstract ASM A2 is constructed. It is checked that A2 is safe and fair, and that A1 correctly implements A2.  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

Computation on Structures - The Challenge of Seamless Integration of Theory and Rigorous Scientific Practice

Klaus-Dieter Schewe
2021 Frontiers in Computer Science  
The key challenge for theoretical computer science is to provide the necessary scientific foundations centered around computation theory, complexity, and logic.  ...  for their integration.  ...  Furthermore, logics for the reasoning about deterministic, non-deterministic and reflective ASMs followed (Stärk and Nanchen, 2001; Ferrarotti et al., 2017; Ferrarotti et al., 2018; Schewe and Ferrarotti  ... 
doi:10.3389/fcomp.2021.670602 fatcat:fopopxlkhzcxreh7nqq6qyh4je

Synthesis of sequential circuits by using linearization

Iliya Levin, Osnat Keren, Vladimir Ostrovsky
2007 Facta universitatis - series Electronics and Energetics  
A typical linearization technique includes calculation of autocorrelation values for a system of logic functions corresponding to the circuit.  ...  The paper introduces a novel architecture of so-called linearized sequential circuits, and a piece-wise linearization approach for synthesis of sequential circuits.  ...  Such a description usually has the algorithmic style and, consequently, the corresponding logic functions reflect this algorithmic nature [8] .  ... 
doi:10.2298/fuee0703461l fatcat:ote5t36kcncghathmhlusw2lla

Page 642 of American Society for Microbiology. ASM News Vol. 39, Issue 10 [page]

1973 American Society for Microbiology. ASM News  
From this tabu- lation, which does not reflect time in position (ASM News, p. 146, February 1973 et seq.), a logical reason for the discrepancies is unavailable.  ...  The disproportionately high salary for both men and women in the marine microbiology field reflected such a small number of positions that it was not indicative.  ... 

Abstract State Machines: a unifying view of models of computation and of system design frameworks

Egon Börger
2005 Annals of Pure and Applied Logic  
and step by step by the ASM model, we provide for the ASM thesis a strong argument which includes asynchronous  ...  The ASM models we construct in this paper are however different from the ones which come out of the proofs for the two special versions of the ASM thesis in op.cit. where a small number of postulates is  ...  The black box view offered for sequencing and iteration is directly reflected by the corresponding turbo ASM constructs, taking into account that Cold provides a separate guard statement for blocking evaluation  ... 
doi:10.1016/j.apal.2004.10.007 fatcat:273ludxmbrehtftfxwagx2yfha

Page 505 of American Society for Microbiology. ASM News Vol. 38, Issue 9 [page]

1972 American Society for Microbiology. ASM News  
The logic whereby one can reach such a conclusion escapes me.  ...  In view of the fact that the finan- cial report (ASM News, January, 1972) shows a net profit of about $60,000 for the 1971 meeting, it would be economically feasible and more useful to provide nonparticipants  ... 

The abstract state machines method for modular design and analysis of programming languages

Egon Börger
2014 Journal of Logic and Computation  
See [57, Ch.9] or [26] for historical details and references. of manageable size and reflect the behavior of Prolog programs in a transparent way, to be useful to programmers.  ...  This provided a transparent, modular structure of small, simple ASM component models which are easy to reuse-not only for the specification of models, but also for the analysis of their properties by both  ...  Examples of horizontal Prolog/WAM refinements For purely incremental (in logic called conservative) extensions we cite the following five examples: constraint logic programming: • a ground model ASM for  ... 
doi:10.1093/logcom/exu077 fatcat:7quppauog5eyvaahlbvlrk7w3u

The ASM Refinement Method

Egon B�rger
2003 Formal Aspects of Computing  
Some frequently occurring forms of ASM refinements are identified and illustrated by examples from the design and verification of architectures and protocols, from the semantics and the implementation  ...  Schellhorn (Augsburg) and two anonymous referees for valuable critical comments on the first version of this paper.  ...  In this sense the ASM refinement method provides a uniform framework to reflect established specific refinement notions.  ... 
doi:10.1007/s00165-003-0012-7 fatcat:mzvctoj72zgm7fqnh2csoa6isu

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Egon Börger
2007 Formal Aspects of Computing  
We outline the Abstract State Machines (ASM) method, a discipline for reliable system development which allows one to bridge the gap between informal requirements and executable code by combining application-centric  ...  This implies the need to link via successive refinements the relevant properties of such high-level models in a traceable and checkable way to code a compiler can verify.  ...  Acknowledgement We thank Peter Sestoft for having directed our attention to Naur's paper [78] and Natarajan Shankar for making us aware that the need for the concept of "ground model" has recently been  ... 
doi:10.1007/s00165-006-0019-y fatcat:2uu56yo52ffkhblbcaoqojdtoe

The ASM Ground Model Method as a Foundation of Requirements Engineering [chapter]

Egon Börger
2003 Lecture Notes in Computer Science  
We explain how ASM ground models help to resolve two major problems of requirements engineering, providing means a) to obtain for complex computer-based systems an adequate understanding by humans, and  ...  THE ROLE OF GROUND MODELS The fundamental problem is clearly identified in Brooks' famous analysis in [17]: 3 In those papers ASMs were used to build a ground model for what later became the ISO standard  ...  Acknowledgement This paper has been triggered by a discussion with Daniel Berry on the ASM method, in particular by the two recent papers [5] and [6] .  ... 
doi:10.1007/978-3-540-39910-0_6 fatcat:kfedosnmdvci7liufadnq6gb4y

CoMA: Conformance Monitoring of Java Programs by Abstract State Machines [chapter]

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2012 Lecture Notes in Computer Science  
We present CoMA (Conformance Monitoring by Abstract State Machines), a specification-based approach and its supporting tool for runtime monitoring of Java software.  ...  The approach fosters the separation between implementation and specification, and allows the reuse of specifications for other purposes (formal verification, simulation, model-based testing, etc.).  ...  The specifications can be written in any formalism for which a logic plug-in has been developed (LTL, ERE, JML, . . . ).  ... 
doi:10.1007/978-3-642-29860-8_17 fatcat:kvdzczrjyvdvdnliaesfzzj6um

Designing the Parlay Call-Control Using ASMs [chapter]

Paolo Falcarin, Alessandra Cavarra
2003 Lecture Notes in Computer Science  
Changes in the Parlay UML specification would be reflected in the corresponding ASM model automatically created by the tool.  ...  This OSA (Open Service Access) API is a standard interface for applications to use the capabilities of a network without knowing technology details.  ... 
doi:10.1007/3-540-36498-6_26 fatcat:7wt6cg5qcvetjkixjcpffjcm7e

Page 193 of American Society for Microbiology. ASM News Vol. 47, Issue 4 [page]

1981 American Society for Microbiology. ASM News  
The best methods for conducting specific immuno- logical tests are painstakingly and thoroughly detailed.  ...  $21.00 ($15.00 to ASM Members} Please note that members of the Society must remit payment with order, and that books sold to ASM members are for personal use only.  ... 

Page 57 of American Society for Microbiology. ASM News Vol. 47, Issue 8 [page]

1981 American Society for Microbiology. ASM News  
The best methods for conducting specific immuno- logical tests are painstakingly and thoroughly detailed.  ...  $21.00 ($15.00 to ASM Members) Please note that members of the Society must remit payment with order, and that books sold to ASM members are for personal use only.  ... 
« Previous Showing results 1 — 15 out of 8,063 results