Results 11 to 20 of about 226,897 (274)
Modeling the dynamic semantics of a computer program
Цифровые модели и решения, 2023 In this paper, two approaches are used to construct the dynamic semantics of computer programs: the first is the representation of mathematical models of computational processes generated by a computer program in the form of a discrete transformer; the ...
K. E. Iklassova, R. N. Kozhakhmetova
doaj +1 more source
Bishop Sentences and Donkey Cataphora: A Response to Barker and Shan
Semantics and Pragmatics, 2009 Some issues are raised concerning the treatment of donkey cataphora and bishop sentences in Barker & Shan 2008.
Paul David Elbourne
doaj +1 more source
Dynamic Semantics SLAM Based on Improved Mask R-CNN
IEEE Access, 2022 Simulation localization and mapping(SLAM) is a popular research problem in the field of driverless cars, but there are still some difficult problems to solve.
Xinguang Zhang +2 more
doaj +1 more source
The Relationship Between Separation Logic and Implicit Dynamic Frames [PDF]
Logical Methods in Computer Science, 2012 Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support.
Matthew J. Parkinson +1 more
doaj +1 more source
Donkey anaphora is in-scope binding
Semantics and Pragmatics, 2008 We propose that the antecedent of a donkey pronoun takes scope over and binds the donkey pronoun, just like any other quantificational antecedent would bind a pronoun.
Chris Barker, Chung-chieh Shan
doaj +1 more source
An Abstract Interpretation-based Model of Tracing Just-In-Time Compilation [PDF]
, 2015 Tracing just-in-time compilation is a popular compilation technique for the efficient implementation of dynamic languages, which is commonly used for JavaScript, Python and PHP.
Dissegna, Stefano +2 more
core +4 more sources
Incremental quantification and the dynamics of pair-list phenomena
Semantics and Pragmatics, 2015 Distributive universals are unique among natural language quantifiers in the following three ways: (i) matrix interrogatives that contain them accept pair-list answers; (ii) indefinites and disjunctions in their scope may assume arbitrary functional ...
Dylan Bumford
doaj +1 more source
A symbolic semantics for a clculus for service-oriented computing [PDF]
, 2009 We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
Pugliese, Rosario +2 more
core +1 more source
Static and dynamic semantics of NoSQL languages [PDF]
, 2013 We present a calculus for processing semistructured data that spans differences of application area among several novel query languages, broadly categorized as "NoSQL".
Giuseppe Castagna +7 more
core +5 more sources
Semantics and Pragmatics, 2010 How do ordinary indicative conditionals manage to convey conditional information, information about what might or must be if such-and-such is or turns out to be the case?
Anthony S Gillies
doaj +1 more source