Filters








79 Hits in 5.1 sec

KJS: a complete formal semantics of JavaScript

Daejun Park, Andrei Stefănescu, Grigore Roşu
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015</a> </i> &nbsp;
This paper presents KJS, the most complete and throughly tested formal semantics of JavaScript to date.  ...  In addition to a reference implementation for JavaScript, KJS also yields a simple coverage metric for a test suite: the set of semantic rules it exercises.  ...  The work presented in this paper was supported in part by the Boeing grant on "Formal Analysis Tools for Cyber Security" 2014-2015, the NSF grants CCF-1218605, CCF-1318191 and CCF-1421575, and the DARPA  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2737924.2737991">doi:10.1145/2737924.2737991</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/ParkSR15.html">dblp:conf/pldi/ParkSR15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4tvepeo36fgsrmbsfa7znyyjzy">fatcat:4tvepeo36fgsrmbsfa7znyyjzy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829171849/http://fsl.cs.illinois.edu/FSL/papers/2015/park-stefanescu-rosu-2015-pldi/park-stefanescu-rosu-2015-pldi-public.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/03/1e/031e1eb62214945aae260802275c0338dece87d3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2737924.2737991"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

JSExplain

Arthur Charguéraud, Alan Schmitt, Thomas Wood
<span title="">2018</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s4hirppq3jalbopssw22crbwwa" style="color: black;">Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW &#39;18</a> </i> &nbsp;
In that respect, JSExplain is a double-debugger for the specification of JavaScript.  ...  We present JSExplain, a reference interpreter for JavaScript that closely follows the specification and that produces execution traces.  ...  RELATED WORK There are many formal semantics of JavaScript, from pen-and-paper ones [10] , to the aforementioned JSCert [3] and KJS [11] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3184558.3185969">doi:10.1145/3184558.3185969</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/www/ChargueraudSW18.html">dblp:conf/www/ChargueraudSW18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xyhlm3ekwrba3p4kg6jl3mpiv4">fatcat:xyhlm3ekwrba3p4kg6jl3mpiv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200509055633/https://hal.inria.fr/hal-01745792/document" 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/f5/90/f590a7139a504dfdb842c6d1f2066619a80a43f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3184558.3185969"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Symbolic Execution for JavaScript

José Fragoso Santos, Petar Maksimović, Théotime Grohens, Julian Dolby, Philippa Gardner
<span title="">2018</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP &#39;18</a> </i> &nbsp;
We present a framework for trustworthy symbolic execution of JavaScripts program, with the aim of assisting developers in the testing of their code: the developer writes symbolic tests for which the framework  ...  We apply our framework to whole-program symbolic testing of real-world JavaScript libraries and compositional debugging of separation logic specifications of JavaScript programs.  ...  (KJS).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3236950.3236956">doi:10.1145/3236950.3236956</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/SantosMGDG18.html">dblp:conf/ppdp/SantosMGDG18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qpc76jdqdfhcvhkrqhaoueufse">fatcat:qpc76jdqdfhcvhkrqhaoueufse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427230651/http://spiral.imperial.ac.uk/bitstream/10044/1/62209/6/Symbolic%20Execution%20for%20JavaScript.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/73/f6/73f6b9223754b7065e2ce34fbf0b91b003f189dc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3236950.3236956"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A trustworthy mechanized formalization of R

Martin Bodin, Tomás Diaz, Éric Tanter
<span title="">2018</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p43mwg6eyzg4jelnsclwsbnuuy" style="color: black;">Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2018</a> </i> &nbsp;
In parallel, several formal semantics for JavaScript are based on a JavaScript interpreter [10, 24, 25] .  ...  A complete semantics for the full R language will inevitably be complex, because of the large amount of such corner cases.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3276945.3276946">doi:10.1145/3276945.3276946</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dls/BodinDT18.html">dblp:conf/dls/BodinDT18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wqeiw6wpzjgllnroyt5zld23ri">fatcat:wqeiw6wpzjgllnroyt5zld23ri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200509073357/https://hal.archives-ouvertes.fr/hal-02409674/file/dls18.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/95/d2/95d214eb7d8e111e0b2410b2015de9bbf9297db7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3276945.3276946"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Semantics for the Essence of React

Magnus Madsen, Ondřej Lhoták, Frank Tip, Tobias Pape, Robert Hirschfeld
<span title="2020-11-06">2020</span> <i title="Schloss Dagstuhl - Leibniz-Zentrum für Informatik"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qnp47ut6vrdjjmiy7zdltauwje" style="color: black;">European Conference on Object-Oriented Programming</a> </i> &nbsp;
These mechanisms exhibit considerable complexity, but, to our knowledge, no formal specification of React's semantics exists.  ...  This paper presents a small-step operational semantics that captures the essence of React, as a first step towards a long-term goal of developing automatic tools for program understanding, automatic testing  ...  Then, with a formal semantics of React in place, we will develop static analysis techniques to detect instances of these bug patterns in React applications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2020.12">doi:10.4230/lipics.ecoop.2020.12</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoop/MadsenLT19.html">dblp:conf/ecoop/MadsenLT19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4tefphrs4bfkliziyapig53nqa">fatcat:4tefphrs4bfkliziyapig53nqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201210085501/https://drops.dagstuhl.de/opus/volltexte/2020/13169/pdf/LIPIcs-ECOOP-2020-12.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/e7/39/e739f8cfb8d1f4c1b9440d75f5ef73bfca51c583.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2020.12"> <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>

K-Java

Denis Bogdanas, Grigore Roşu
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL &#39;15</a> </i> &nbsp;
complete formal semantics of Java.  ...  Other Executable Semantics of Java ASM-Java [35] is the first attempt to define a complete semantics of Java 1.0, and the most complete prior to K-Java, showing that is it feasible to define formal semantics  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2676726.2676982">doi:10.1145/2676726.2676982</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/BogdanasR15.html">dblp:conf/popl/BogdanasR15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5bvcemr3dfddlgbggl5sdkltey">fatcat:5bvcemr3dfddlgbggl5sdkltey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810034726/http://fsl.cs.illinois.edu/FSL/papers/2015/bogdanas-rosu-2015-popl/bogdanas-rosu-2015-popl-public.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/e4/b5/e4b57870215a128de2fd71258495e11cdf2e9458.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2676726.2676982"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

P4K: A Formal Semantics of P4 and Applications [article]

Ali Kheradmand, Grigore Rosu
<span title="2018-04-04">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We argue that formal analysis tools must be based on a formal semantics of the target language, rather than on its informal specification.  ...  To this end, we provide an executable formal semantics of the P4 language in the K framework.  ...  We would also like to thank Nate Foster and the members of P4 Language Consortium for their support. We thank Brighten Godfrey, Farnaz Jahanbakhsh, and Alex Horn for their feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.01468v1">arXiv:1804.01468v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/plnzzuf5j5dg3jpwxind5lo3uu">fatcat:plnzzuf5j5dg3jpwxind5lo3uu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200824202214/https://arxiv.org/pdf/1804.01468v1.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/c6/09/c60960f93f657205b0f6247e00c79c97203e9a51.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.01468v1" 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>

Foundations of JSON Schema

Felipe Pezoa, Juan L. Reutter, Fernando Suarez, Martín Ugarte, Domagoj Vrgoč
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s4hirppq3jalbopssw22crbwwa" style="color: black;">Proceedings of the 25th International Conference on World Wide Web - WWW &#39;16</a> </i> &nbsp;
In this paper we provide the first formal definition of syntax and semantics for JSON Schema and use it to show that implementing this layer on top of JSON is feasible in practice.  ...  JSON Schema is an attempt to provide a general purpose schema language for JSON, but it is still work in progress, and the formal specification has not yet been agreed upon.  ...  INTRODUCTION JSON (JavaScript Object Notation) [5, 19, 9] is a data format based on the data types of the JavaScript programming language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2872427.2883029">doi:10.1145/2872427.2883029</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/www/PezoaRSUV16.html">dblp:conf/www/PezoaRSUV16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q6ee5jf5n5epfennvuozkyuawi">fatcat:q6ee5jf5n5epfennvuozkyuawi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160509013543/http://www2016.net:80/proceedings/proceedings/p263.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/8e/0b/8e0b65a2908055cbac3ab0c29fb2fc21e16c0053.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2872427.2883029"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Spatial Hypertext Wiki for knowledge management

Carlos Solis, Nour Ali
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gclxq7jjtzbb7f3lzwa22ysn5i" style="color: black;">2010 International Symposium on Collaborative Technologies and Systems</a> </i> &nbsp;
This type of wiki can help in the externalization of tacit knowledge, and is able to represent explicit knowledge at different levels of formality.  ...  This paper proposes the use of a Spatial Hypertext Wiki (ShyWiki) as a knowledge management wiki which allows users to interact in a distributed and collaborative way in order to generate ideas, and organize  ...  ShyWiki is a tool for facilitating the transit from tacit to formal knowledge. Users can incrementally formalize the knowledge in the wiki.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cts.2010.5478505">doi:10.1109/cts.2010.5478505</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cts/SolisA10.html">dblp:conf/cts/SolisA10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/psol4ehr3zbmbafhdscbigxafi">fatcat:psol4ehr3zbmbafhdscbigxafi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706065856/https://ulir.ul.ie/bitstream/handle/10344/752/2010-Solis-A-Spatial.pdf%3Bjsessionid%3D44A20D0EC04DDC55F4748D39970CE7D7?sequence%3D2" 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/de/ca/decad183fec69d21c15fab846a7a6348cf199dbc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cts.2010.5478505"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

An Approach of an Idea Management Platform to Improve the Innovation Process

Pedro Marcelo, José Monteiro, Fernando Almeida
<span title="2014-10-18">2014</span> <i title="Foundation of Computer Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b637noqf3vhmhjevdfk3h5pdsu" style="color: black;">International Journal of Computer Applications</a> </i> &nbsp;
The ideas are anonymously approved a priori and the adopted voting process follows the methodology of Likert.  ...  This paper presents a project that was developed in order to promote the human capital of an entity or organization through individual dissemination of ideas whose context is to improve processes, reduce  ...  As argued by Pereira [16] , a CN is composed by a social-network, a semantic network, and a socio-semantics network.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/18130-9231">doi:10.5120/18130-9231</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bzzhawmufzejjd3nlspihhkw2q">fatcat:bzzhawmufzejjd3nlspihhkw2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180603084211/https://research.ijcaonline.org/volume103/number12/pxc3899231.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/71/2f/712ffbf69264aa973eaa10f93f5874c2c195977e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/18130-9231"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Efficient Fuzzy Type-Ahead Search in XML Data

Jianhua Feng, Guoliang Li
<span title="">2012</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ht3yl6qfebhwrg7vrxkz4gxv3q" style="color: black;">IEEE Transactions on Knowledge and Data Engineering</a> </i> &nbsp;
It allows users to explore data as they type, even in the presence of minor errors of their keywords.  ...  In a traditional keyword-search system over XML data, a user composes a keyword query, submits it to the system, and retrieves relevant answers.  ...  Thus, given a node n and a keyword query Q, we combine all pivotal paths as an answer of query Q. Now, we give a formal definition.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tkde.2010.264">doi:10.1109/tkde.2010.264</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yxbifbofvjeo3h54cnaeipek2q">fatcat:yxbifbofvjeo3h54cnaeipek2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130108040158/http://dbgroup.cs.tsinghua.edu.cn/ligl/papers/tkde2012-xml-search-as-you-type.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/1f/61/1f6184b7d2b70748968453d8842abeac10841bc4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tkde.2010.264"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Formalizing Metamodel of Requirements Management System
Формализация метамодели системы управления требованиями

D.S. Kildishev, A.V. Khoroshilov
<span title="">2018</span> <i title="Institute for System Programming of the Russian Academy of Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q5rpshlfgfb5vn5yo6kwvnmsqe" style="color: black;">Proceedings of the Institute for System Programming of RAS</a> </i> &nbsp;
The paper presents a formal definition of a metamodel that is used as a basis of Requality requirements management tool. An experience of implementation of the metamodel is discussed.  ...  Requirements play an important role in the process of safety critical software development. To achieve reasonable quality and cost ratio a tool support for requirements management is required.  ...  The third kind is formula value generator that stores in fval value a string with an expression in a subset of JavaScript language that has access to attributes of the same element.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15514/ispras-2018-30(5)-10">doi:10.15514/ispras-2018-30(5)-10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aoagvnyp45h7zftpps2xyxc2xa">fatcat:aoagvnyp45h7zftpps2xyxc2xa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430235229/http://www.ispras.ru/proceedings/docs/2018/30/5/isp_30_2018_5_163.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/08/a1/08a11fdbd3f2f57bf40b7959d36118cf531a8eef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15514/ispras-2018-30(5)-10"> <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>

Static and dynamic semantics of NoSQL languages

Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;13</a> </i> &nbsp;
This calculus lets users define their own operators, capturing a wider range of data processing capabilities, whilst providing a typing precision so far typical only of primitive hard-coded operators.  ...  yields a typing discipline for Jaql as it is, namely without the addition of any type definition or type annotation in the code.  ...  These form a Turing complete formalism (full proof in Appendix B): Theorem 7 (Turing completeness).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2429069.2429083">doi:10.1145/2429069.2429083</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/BenzakenCNS13.html">dblp:conf/popl/BenzakenCNS13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7so53pdrmneetjckvcv4ppl7we">fatcat:7so53pdrmneetjckvcv4ppl7we</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809142437/https://www.irif.fr/~gc/papers/nosql.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/66/50/6650b4839b360440d85dfbc1d111ed3269183226.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2429069.2429083"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Static and dynamic semantics of NoSQL languages

Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
<span title="2013-01-23">2013</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
This calculus lets users define their own operators, capturing a wider range of data processing capabilities, whilst providing a typing precision so far typical only of primitive hard-coded operators.  ...  We illustrate the use of this calculus by encoding a large fragment of Jaql, including operations and iterators over JSON, embedded SQL expressions, and co-grouping, and show how the encoding directly  ...  These form a Turing complete formalism (full proof in Appendix B): Theorem 7 (Turing completeness).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2480359.2429083">doi:10.1145/2480359.2429083</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2j5v7jkqsng3fgranicu4vquuy">fatcat:2j5v7jkqsng3fgranicu4vquuy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809142437/https://www.irif.fr/~gc/papers/nosql.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/66/50/6650b4839b360440d85dfbc1d111ed3269183226.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2480359.2429083"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

SECRET

Dennis Felsch, Christian Mainka, Vladislav Mladenov, Jörg Schwenk
<span title="">2017</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security - ASIA CCS &#39;17</a> </i> &nbsp;
In contrast to all previous works, SECRET is the first tool that (1.) allows the encryption of whole documents or arbitrary sub-parts thereof, (2.) uses a novel combination of tree-based OT with a structure  ...  Many of these tools are based on Operational Transforms (OT), which guarantee that the views of different clients onto a document remain consistent over time.  ...  This research results from work in the research projects SyncEnc and VERTRAG, which are funded by the German Federal Ministry of Education and Research (BMBF, FKZ: 16KIS0412K and 13N13097), as well as  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3052973.3052982">doi:10.1145/3052973.3052982</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/FelschMMS17.html">dblp:conf/ccs/FelschMMS17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pxyyl6bf3rbjrlcl2fh53f52bq">fatcat:pxyyl6bf3rbjrlcl2fh53f52bq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218135430/https://static.aminer.org/pdf/20170130/pdfs/ccs/15grsh6nnudw9voycisrgpomtqiajtmh.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/4a/a3/4aa3256b83301b38acc1b8ddcf6238a5c2428f8f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3052973.3052982"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 79 results