Results 251 to 260 of about 1,585,173 (321)
On the grammar of restricted-range numeral systems. [PDF]
Philos Trans R Soc Lond B Biol SciBowern C.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Automatic Grading of Programming Assignments: An Approach Based on Formal Semantics
2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2019Programming assignment grading can be time-consuming and error-prone if done manually. Existing tools generate feedback with failing test cases. However, this method is inefficient and the results are incomplete.
Xiao Liu +3 more
semanticscholar +1 more source
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
IEEE Computer Security Foundations Symposium, 2018A developing field of interest for the distributed systems and applied cryptography communities is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One such smart contract system that
Everett Hildenbrandt +10 more
semanticscholar +1 more source
International Journal of Computer Mathematics, 1990
For well known reasons, it is very desirable and sometimes imperative to give formal description of the semantics of a language. This paper presents a formal semantics of a subset of the SQL language, using the Vienna Development Method. We consider most of the query language defined in the SQL standard and give its denotational semantics using ...
Silvio Meira 0001 +2 more
openaire +1 more source
For well known reasons, it is very desirable and sometimes imperative to give formal description of the semantics of a language. This paper presents a formal semantics of a subset of the SQL language, using the Vienna Development Method. We consider most of the query language defined in the SQL standard and give its denotational semantics using ...
Silvio Meira 0001 +2 more
openaire +1 more source
Proceedings of the 2004 workshop on Secure web service - SWS '04, 2004
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their data-collection and data-use practices in a machine-readable form. To fully deploy P3P in enterprise information systems and over the Web, a well-defined semantics for P3P policies is a must, which is lacking in the current P3P ...
Ting Yu 0001 +2 more
openaire +1 more source
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their data-collection and data-use practices in a machine-readable form. To fully deploy P3P in enterprise information systems and over the Web, a well-defined semantics for P3P policies is a must, which is lacking in the current P3P ...
Ting Yu 0001 +2 more
openaire +1 more source
2011
The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. In this paper we are concerned with addressing this problem.
Richard Stocker 0001 +4 more
openaire +2 more sources
The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. In this paper we are concerned with addressing this problem.
Richard Stocker 0001 +4 more
openaire +2 more sources