Results 51 to 60 of about 8,375 (166)
Jolie Static Type Checker: a Prototype
Моделирование и анализ информационных систем, 2017 Static verification of a program source code correctness is an important element of software reliability. Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior.
Daniel de Carvalho +5 more
doaj +1 more source
Special Issue on the Theory and Practice of Differential Privacy
The Journal of Privacy and Confidentiality, 2017 This special issue presents papers based on contributions to the first international workshop on the “Theory and Practice of Differential Privacy” (TPDP) held in London, UK, 18 April 2015, as part of the European joint conference on Theory And Practice ...
Marco Gaboardi, Chris J. Skinner
doaj +1 more source
Lower power structures of directed spaces
四川大学学报. 自然科学版, 2020 Powerdomains in domain theory play an important role in modeling the semantics of nondeterministic functional programming languages. In this paper, we extend the notion of powerdomain to the category of directed spaces and define the notion of lower ...
XIE Xiao-Lin, KOU Hui
doaj
Editorial for Volume 9 Issue 2
The Journal of Privacy and Confidentiality, 2019 Differential privacy is a promising approach to privacy-preserving data analysis that provides strong worst-case guarantees about the harm that a user could suffer from contributing their data, but is also flexible enough to allow for a wide variety of ...
Jonathan Ullman, Lars Vilhuber
doaj +1 more source
Discover ElectrochemistryMarcus theory originally was proposed by scientist Rudolph A. In 1956, Marcus established a theoretical framework for elucidating the kinetics of outer-sphere electron transfer reactions.
Xuanze Wang +4 more
doaj +1 more source
A Survey on Available Tools and Technologies Enabling Quantum Computing
IEEE AccessIn the contemporary era of scientific and technical innovations, we are witnessing remarkable progress in the realm of quantum computing. Today’s phase is referred to as the second quantum revolution, characterized by ongoing research and progress
Prateek Singh +6 more
doaj +1 more source
Reflections on the Importance of Reference for Understanding Thinking
International Journal of Contemporary Educational Research, 2015 An intentional form of the semantics of algebraic expressions in the tradition starting with Frege is popular in mathematics education. On the other hand, mathematical logic including predicate calculus and lambda calculus is dominated for more than 50 ...
Reinhard Oldenburg
doaj
CodeStream: A dataset of iterative programming submissions with sequential verdict traces and attempt histories. [PDF]
Data BriefLina NJ +6 more
europepmc +1 more source
Theories of programming languages
Computers & Mathematics with Applications, 1999 openaire +1 more source