Filters








4,946 Hits in 8.5 sec

Toward formal development of programs from algebraic specifications: Implementations revisited [chapter]

Donald Sannella, Andrzej Tarlecki
<span title="">1987</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The program development process is viewed as a sequence of implementation steps leading from a specification to a program.  ...  implementations which additionally provide for abstraction from some details of the implemented specification.  ...  This work was supported by grants from the Alvey Directorate and the Polish Academy of Sciences.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-17660-8_50">doi:10.1007/3-540-17660-8_50</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zn4uy5v76ned3cezbr34fbmzby">fatcat:zn4uy5v76ned3cezbr34fbmzby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726183417/https://link.springer.com/content/pdf/10.1007%2F3-540-17660-8_50.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a9/7e/a97e66b94c9cec9ba2f1f94be9f0fb0ad05af97f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-17660-8_50"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version) [article]

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
<span title="2015-11-03">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We extend abstract interpretation for the purpose of verifying hybrid systems.  ...  Abstraction has been playing an important role in many verification methodologies for hybrid systems, but some special care is needed for abstraction of continuous dynamics defined by ODEs.  ...  The current work, as a first step towards scalability of the approach, extends abstract interpretation [10] with infinitesimals.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1511.00825v1">arXiv:1511.00825v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d24dm2ct6ndsbaulmrsmkf5t34">fatcat:d24dm2ct6ndsbaulmrsmkf5t34</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200907111303/https://arxiv.org/pdf/1511.00825v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f1/7e/f17ea1cf53d466bc4831ce61de05162554ed6346.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1511.00825v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications

H. Ehrig, B. Mahr, F. Orejas
<span title="1992-10-01">1992</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bf4qaipmsrghrjyxonrsmqevie" style="color: black;">Computer journal</a> </i> &nbsp;
Part 1 of this paper concerning algebraic specifications is an informal introduction to formal methods for software development using algebraic techniques.  ...  The intention of this second part of the paper is to survey the research field of algebraic specifications developed within the last two decades and the role of this field concerning formal methods in  ...  algebraic specifications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/35.5.468">doi:10.1093/comjnl/35.5.468</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fs7jh2xtazbhnaflrzd5v3sdpm">fatcat:fs7jh2xtazbhnaflrzd5v3sdpm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224075746/http://pdfs.semanticscholar.org/52d8/05922aae13f77b52d1718f717d3451a7d07d.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/52/d8/52d805922aae13f77b52d1718f717d3451a7d07d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/35.5.468"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

A decision procedure revisited: notes on direct logic, linear logic and its implementation

Gianluigi Bellin, Jussi Ketonen
<span title="">1992</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Ketonen, A decision procedure revisited: Notes on direct logic, linear logic and its implementation, Theoretical Computer Science 95 (1992) 115-142.  ...  In addition, the implementation of a decision procedure for direct predicate logic is sketched.  ...  However, we feel strongly that this methodologyderilfed from the everyday practice of AI programming-must be coupled with a better formal understanding of the use of predicate logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(92)90069-r">doi:10.1016/0304-3975(92)90069-r</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zz4x4y4mobfchgtm6eskc5dygu">fatcat:zz4x4y4mobfchgtm6eskc5dygu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170930210038/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/963/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMzA0Mzk3NTkyOTAwNjly.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3a/6f/3a6f9005cad50bc7d1316ff29af762724da6f097.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(92)90069-r"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools [chapter]

José Meseguer, Grigore Roşu
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
By using a high-performance implementation of rewriting logic such as Maude, a language's formal specification can be automatically transformed into an efficient interpreter.  ...  their first-order algebraic counterpart) and the semantic rules of SOS.  ...  Several of the ideas presented in this work have been developed in joint work with students and colleagues; in particular: (1) the work on Maude is joint work of the first author with all the members of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-25984-8_1">doi:10.1007/978-3-540-25984-8_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ngcumda3ifgtdou2gxcx6rs474">fatcat:ngcumda3ifgtdou2gxcx6rs474</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060903060228/http://gureni.cs.uiuc.edu/%7Egrosu/download/ijcar04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/c1/5ac15c82919c9b71c00e692d823f987bae22b874.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-25984-8_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Multipurpose Formal RISC-V Specification [article]

Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Andrew Wright, Adam Chlipala
<span title="2021-04-01">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
However, we observe that different formal-methods research projects are interested in different aspects of RISC-V and want to simplify, abstract, approximate, or ignore the other aspects.  ...  Our formalization of the RISC-V specification is written in Haskell and leverages existing tools rather than requiring new domain-specific tools, contrary to other approaches.  ...  Therefore, each formal-methods project was either inventing its own ISA (e.g. [11, 24] ) or formalizing from-scratch, at the desired abstraction level, a small subset of an existing ISA (e.g.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2104.00762v1">arXiv:2104.00762v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4zqwz2b7yjedzch4wdoojqmoma">fatcat:4zqwz2b7yjedzch4wdoojqmoma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210406143618/https://arxiv.org/pdf/2104.00762v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c0/77/c07794c41b95f3f70c255481062ca3d1908e3df4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2104.00762v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

FDL 2020 Cover Page

<span title="">2020</span> <i title="IEEE"> 2020 Forum for Specification and Design Languages (FDL) </i> &nbsp;
(DPAA) Aurélien Lamercerie and Benoît Caillaud 3.2 Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech Friedrich Gretz, Franz-Josef Grosch, Michael Mendler and Stephan  ...  We will demonstrate that, despite the abstract level of available information, formal specification and design languages can be used to explore the solution domain of the innovation, and guide the user  ...  After this, we present our uniform methodology of fault injection in digital, mixed-signal, and software aspects of an integrated design.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fdl50818.2020.9232933">doi:10.1109/fdl50818.2020.9232933</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cn26uqqbgnhorg332tt6z7zrgi">fatcat:cn26uqqbgnhorg332tt6z7zrgi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428205643/https://ieeexplore.ieee.org/ielx7/9226655/9232930/09232933.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/07/60/0760e1bf7aa80501bbcc0bc3737e5eeb56d5fdf8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fdl50818.2020.9232933"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Automatic Inference of Specifications in the K Framework

María Alpuente, Daniel Pardo, Alicia Villanueva
<span title="2015-12-19">2015</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We describe the implementation of our system and discuss the differences w.r.t. our previous work on inferring specifications from C code.  ...  Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development.  ...  Since our approach is generic and not tied to the K semantics specification of KERNELC, we expect the methodology developed in this work to be easily extendable to other languages for which a K semantics  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.200.1">doi:10.4204/eptcs.200.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mg6cbngqzzcnneudgtv52drmli">fatcat:mg6cbngqzzcnneudgtv52drmli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922020627/https://riunet.upv.es/bitstream/handle/10251/61352/Alpuente;DANIEL;Villanueva%20-%20Automatic%20Inference%20of%20Specifications%20in%20the%20K%20Framework.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/68/b1/68b16ecab6898b91856611963761d29520a8bd91.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.200.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Reuse and Integration of Specification Logics: The Hybridisation Perspective [chapter]

Luis S. Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kax3wwzwmncwhi472pxbzqsjja" style="color: black;">Advances in Intelligent Systems and Computing</a> </i> &nbsp;
It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms  ...  Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science.  ...  an interesting starting point towards more formal approaches [MMB13] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-31311-5_1">doi:10.1007/978-3-319-31311-5_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ygjooqekibfzrcg7zahjqldufy">fatcat:ygjooqekibfzrcg7zahjqldufy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200306063111/https://ria.ua.pt/bitstream/10773/16061/1/HybridMet.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d5/3e/d53e51569fa399d5f881f6ae0feebbb2fbe81da3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-31311-5_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Formal specification and design of mobile systems

G.-C. Roman, C. Julien, Qingfeng Huang
<span title="">2002</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t3x4vqewrncrfgn2wu7cafsbsq" style="color: black;">Proceedings 16th International Parallel and Distributed Processing Symposium</a> </i> &nbsp;
The proof logic and programming notation of Mobile UNITY provide the intellectual tools required to carry out this task.  ...  A simple solution tailored for use in ad hoc networks is employed as a vehicle for demonstrating the applicability of formal requirements and design strategies to the new field of mobile computing.  ...  Any opinions, findings, and conclusions or recommendations expressed in this paper are those of the authors and do not necessarily reflect the views of the National Science Foundation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2002.1016623">doi:10.1109/ipdps.2002.1016623</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ipps/RomanJH02.html">dblp:conf/ipps/RomanJH02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/thbea37sznht7gmnwxv2d3uoga">fatcat:thbea37sznht7gmnwxv2d3uoga</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20111222123652/http://mpc.ece.utexas.edu/Papers/WU-CS-2001-04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/55/10/551075dfe2db8b2fe785efc6326b92fd6c4c8967.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2002.1016623"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Compositional specification in rewriting logic [article]

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
<span title="2019-09-04">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper is under consideration in Theory and Practice of Logic Programming (TPLP).  ...  We discuss the motivations and implications of our proposal, formalize it for rewriting logic and also for transition structures, to be used as semantics, and show the power of our approach with some examples  ...  Acknowledgements This paper owes a good share of whatever value it may have to the very careful and useful remarks and suggestions from its anonymous referees.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1908.11769v2">arXiv:1908.11769v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p6u37i3efrd7nhqbdp75ygilca">fatcat:p6u37i3efrd7nhqbdp75ygilca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200826124124/https://arxiv.org/pdf/1908.11769v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/22/b2/22b268c99e0c519bcadb5f99e5c795c30075c3c7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1908.11769v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Engineering of Framework-Specific Modeling Languages

M. Antkiewicz, K. Czarnecki, M. Stephan
<span title="">2009</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dthyqga2onff5nwf4agwqtrhxi" style="color: black;">IEEE Transactions on Software Engineering</a> </i> &nbsp;
FSMLs model abstractions and rules of application programming interfaces (APIs) exposed by frameworks and can express models of how applications use APIs.  ...  Framework-specific modeling languages (FSMLs) help developers build applications based on object-oriented frameworks.  ...  ACKNOWLEDGMENTS The authors would like to thank Herman Lee for implementing the XML mapping interpreter used by the Struts and EJB FSMLs and Henry Lau for implementing some of the code transformations  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2009.30">doi:10.1109/tse.2009.30</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ixm3xtqtn5gpdhhwjktqrp275u">fatcat:ixm3xtqtn5gpdhhwjktqrp275u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709175755/https://gsd.uwaterloo.ca/sites/default/files/TSE2009.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/26/e0/26e0c9e248dcf0c7753d6ac82940de85c8f1ba72.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2009.30"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Page 2638 of Mathematical Reviews Vol. , Issue 88e [page]

<span title="">1988</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
of programs from algebraic specifications: implementations revisited (extended abstract) (pp. 96-110); G.  ...  Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP ’87).  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1988-05_88e/page/2638" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1988-05_88e/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Lowering the barrier to applying machine learning

Kayur Patel
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4obeqfuqs5gzbos5ah64a7m57a" style="color: black;">Proceedings of the 28th of the international conference extended abstracts on Human factors in computing systems - CHI EA &#39;10</a> </i> &nbsp;
I examine how data affects the way we program. Specifically, this dissertation focuses on using machine learning algorithms to train a model.  ...  I have created new programming and analysis tools that support programmers by helping them (1) implement machine learning systems and analyze results, (2) debug data, and (3) design and track experiments  ...  Abstractions provided by visualization tools can inform the development of machine learning tools.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1753846.1753882">doi:10.1145/1753846.1753882</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/chi/Patel10.html">dblp:conf/chi/Patel10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ctphoo6owzfnpf53ihq7kjix3e">fatcat:ctphoo6owzfnpf53ihq7kjix3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170630143545/http://kayur.org/papers/thesis.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bf/3f/bf3fd0a26f7d4c4037aa0fb7fa54e947f498bca6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1753846.1753882"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Compositionality and modularity in process specification and design: A trace-state based approach [chapter]

Job Zwiers, Willem-P. Roever
<span title="">1989</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
A top down development is presented of a distributed priority queue. The crucial characteristic that enables this development is the compositionality of the formalism used.  ...  Our formal description method is qased upon the notions of communication events and sequences of such events called-traces or communication histories.  ...  Abstract Way Extending Models and Temporal Logics with Inequality and Me~c Operations Algebraic Specification and Implementation of Infinite Proces..".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-51803-7_34">doi:10.1007/3-540-51803-7_34</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a4jd64plovhwjjotmp4d32bacq">fatcat:a4jd64plovhwjjotmp4d32bacq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720174133/https://pure.tue.nl/ws/files/2479480/8930822.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/fc/2cfc67b8d160f9353f9e0a8cad44c1a4e0c6f979.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-51803-7_34"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 4,946 results