Zobrazeno 1 - 10
of 78
pro vyhledávání: '"Algebraic laws"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
It Began with Babbage : The Genesis of Computer Science, 2014.
Externí odkaz:
https://doi.org/10.1093/oso/9780199309412.003.0007
We propose in this paper an algebraic approach to hard-ware/software partitioning in Verilog Hardware Description Language (HDL). We explore a collection of algebraic laws for Verilog programs, from which we design a set of syntax-based algebraic rul
Externí odkaz:
http://hdl.handle.net/1721.1/3691
Autor:
Harry Altman
Publikováno v:
Mathematical Logic Quarterly. 63:228-242
There are two well-known ways of doing arithmetic with ordinal numbers: the "ordinary" addition, multiplication, and exponentiation, which are defined by transfinite iteration; and the "natural" (or Hessenberg) addition and multiplication (denoted $\
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3932cc5b4eac024187aa8b9db657eeec
https://doi.org/10.1002/malq.201600006
https://doi.org/10.1002/malq.201600006
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030638818
SBMF
SBMF
When evolving a software product line, it is often important to ensure that we do it in a safe way, ensuring that the resulting product line remains well-formed and that the behavior of existing products is not affected. To ensure this, one usually h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0acd3a77af5f703b0df76b60642017f3
https://doi.org/10.1007/978-3-030-63882-5_13
https://doi.org/10.1007/978-3-030-63882-5_13
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Andrew Butterfield
Publikováno v:
Unifying Theories of Programming ISBN: 9783030310370
UTP
UTP
Algebras have always played a critical role in Unifying Theories of Programming, especially in their role in providing the “laws” of programming. The algebraic laws form a triad with two other forms, namely operational and denotational semantics.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d523a0a8a0094644b137deb542f088a
https://doi.org/10.1007/978-3-030-31038-7_8
https://doi.org/10.1007/978-3-030-31038-7_8
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783030021481
RAMiCS
RAMiCS
Reactive programs are ubiquitous in modern applications, and so verification is highly desirable. We present a verification strategy for reactive programs with a large or infinite state space utilising algebraic laws for reactive relations. We define
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6115fffb82bb056e75dd880a1efad4f4
https://doi.org/10.1007/978-3-030-02149-8_13
https://doi.org/10.1007/978-3-030-02149-8_13
We present a new kind of ambient calculus in which the open capability is replaced by direct mobility of generic processes. The calculus comes equipped with a labelled transition system in which types play a major role: this system allows us to show
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6792153e840d2f3fe5e577d7eaf1d432
http://doc.rero.ch/record/302541/files/S0960129508006658.pdf
http://doc.rero.ch/record/302541/files/S0960129508006658.pdf
Autor:
Stephan van Staden, Tony Hoare
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642311123
MPC
MPC
We survey the well-known algebraic laws of sequential programming, and propose some less familiar laws for concurrent programming. On the basis of these laws, we derive the rules of a number of classical programming and process calculi, for example,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::045e6e517815bcc152111e0171cdb2a0
https://doi.org/10.1016/j.scico.2013.08.012
https://doi.org/10.1016/j.scico.2013.08.012