Filters








185,720 Hits in 7.7 sec

A Generic Program Slicing Technique Based on Language Definitions [chapter]

Adrián Riesco, Irina Măriuca Asăvoae, Mihail Asăvoae
2013 Lecture Notes in Computer Science  
In this paper we choose such a particular technique called program slicing and we introduce a generic algorithm which extracts a set of side-effects inducing constructs, directly from the formal executable  ...  semantics of a programming language.  ...  Definition 2. We say that a program term p produces side-effects over a variable v w.r.t. a side-effect set SE if the top operator of p is in SE and the variable v is a designated subterm of p.  ... 
doi:10.1007/978-3-642-37635-1_15 fatcat:ufktlcqyhjgj5him7qxr342t2i

Machine-checked natural semantics for Core Erlang: exceptions and side effects

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020 Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang  
Acknowledgments The project has been supported by the European Union, co-financed by the European Social Fund (EFOP-3.6.  ...  The definition of eval prefix is shown in Figure 7 (note that denotes the successor of ). The refined version of eval all can be obtained similarly from the side effect free variant.  ...  In this current paper, we focus on the extensions of our previous formalisation, including the definition of exceptions and other side effects.  ... 
doi:10.1145/3406085.3409008 dblp:conf/erlang/BereczkyHT20 fatcat:m7xp6m7wojc5ndqkd7y3goi4we

Semantics for Locking Specifications [chapter]

Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
2016 Lecture Notes in Computer Science  
problems with other definitions • Two formal semantics (name-based and value-based) • Core calculus based on RaceFreeJava [Abadi TOPLAS 2006] • Structural Operational SemanticsDefinitions of accessed  ...  Released on exit or side effect. • @GuardedBy[Goetz 2006] is a de-facto standard • On GitHub, 35,000 uses in 7,000 files • Its semantics is informal, ambiguous, and incorrect (allows data races) • Similar  ... 
doi:10.1007/978-3-319-40648-0_27 fatcat:bbtbrgnumze7jfitfxbuxwmamy

Referential transparency, definiteness and unfoldability

Harald S�ndergaard, Peter Sestoft
1990 Acta Informatica  
We propose a definition of "referential transparency", based on Quine's, as well as of the related notions: definiteness and unfoldability.  ...  To this end, we study the definitions in the context of a simple expression language and show that in the presence of non-determinism, the differences between the definitions are manifest.  ...  We have found the referees' critical comments very helpful when revising this paper. In particular, the present simplified and improved example language is basically due to one of the referees.  ... 
doi:10.1007/bf00277387 fatcat:4srfzh2zrvb3ld4tm3bd4tqwje

A refined operational semantics for ACT-R

Daniel Gall, Thom Frühwirth
2015 Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15  
However, to describe the behavior of ACT-R implementations a more refined semantics is needed.  ...  We define an improved version of the abstract semantics as an instance of our new very abstract semantics.  ...  Queries are an additional type of test on the left-hand side of a rule. The very abstract semantics can be easily extended by queries.  ... 
doi:10.1145/2790449.2790517 dblp:conf/ppdp/GallF15 fatcat:tdgv4qt2hrhrda3alawr7uyqcq

Effect Systems Revisited—Control-Flow Algebra and Semantics [chapter]

Alan Mycroft, Dominic Orchard, Tomas Petricek
2015 Lecture Notes in Computer Science  
We give a lightweight tutorial explanation of the concepts involved in these two threads and then unify them via the notion of an effect-directed semantics for a control-flow algebra of effects.  ...  Second, motivated by semantic questions, the syntactic notion of set-(or semilattice-) based effect system was linked to the semantic notion of monads and more recently to graded monads which give a more  ...  The second author is funded by EPSRC EP/K011715/1 and thanks Nobuko Yoshida for her support.  ... 
doi:10.1007/978-3-319-27810-0_1 fatcat:aclex3rkqzcntpd3i24rchz2l4

The expressive power of side effects in prolog

J.A. Makowsky, J.-C. Grégoire, S. Sagiv
1992 The Journal of Logic Programming  
This paper presents a rigorous framework for studying the influence of side effects in logic programming.  ...  The same model can be used to analyze the exact behavior of reconsult and other constructs which modify the underlying database. a INTRODUCTION Given a logic program Z and a query 4, we look at the ye  ...  CONCLUSIONS We have introduced a formal definition of side effects in PROLOG programs in terms of the behavior of the repetition sequences.  ... 
doi:10.1016/0743-1066(92)90043-3 fatcat:z76ltdfyqjcljahgn4yg5zr6ta

Computational Effects and Operations: An Overview

Gordon Plotkin, John Power
2004 Electronical Notes in Theoretical Computer Science  
We overview a programme to provide a unified semantics for computational effects based upon the notion of a countable enriched Lawvere theory.  ...  We define the notion of countable enriched Lawvere theory, show how the various leading examples of computational effects, except for continuations, give rise to them, and we compare the definition with  ...  One such is that of side-effects, the "side" indicating that they occur "on the side" while polymorphically computing something else (or, in the case of commands, nothing at all).  ... 
doi:10.1016/j.entcs.2004.08.008 fatcat:g2y6ii6xeraxje3vozes2nie3u

Towards a Module System for K [chapter]

Mark Hills, Grigore Roşu
2009 Lecture Notes in Computer Science  
Research on the semantics of programming languages has yielded a wide array of notations and methodologies for defining languages and language features.  ...  An important feature many of these notations and methodologies lack is modularity: the ability to define a language feature once, insulating it from unrelated changes in other parts of the language, and  ...  more general version of this rule would use σ on the left and σ on the right; here, by using σ on both left and right, we state that expressions do not alter the store, i.e. they do not have side effects  ... 
doi:10.1007/978-3-642-03429-9_13 fatcat:b3jmy7zoqjhwngtvfkqdu3jupq

Modeling Business Objectives for Business Process Management [chapter]

Matthias Lohrmann, Manfred Reichert
2012 Lecture Notes in Business Information Processing  
Our approach builds on use case-based effectiveness criteria, and on insights gained from assessing the state of the art.  ...  However, effective concepts in this area still constitute a gap in the presently available array of business process management methods.  ...  In parallel, further steps are performed depending on the results of examinations A and B: First, the existence or non-existence of condition X is noted dependent on the result of examination C (B6, B7  ... 
doi:10.1007/978-3-642-29133-3_8 fatcat:evs7r43t6jhyhbgnkc77lulgae

FunKons: Component-Based Semantics in K [chapter]

Peter D. Mosses, Ferdinand Vesely
2014 Lecture Notes in Computer Science  
We give a component-based definition of CinK (a small subset of C++), using K to define its translation to funcons as well as the (dynamic) semantics of the funcons themselves.  ...  The K Framework, based on Rewriting Logic, has good modularity support, but reuse of specifications is not as well developed.  ...  We have experimented with funcons to express decoupled side effects and have developed a preliminary K specification of the relevant funcons. Our solution is based on a pair of funcons.  ... 
doi:10.1007/978-3-319-12904-4_12 fatcat:ybgefrvoybe5ja5pnaoxx4t4oa

Computation of aliases and support sets

A. Neirynck, A. J. Demers
1987 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87  
It allows one to present a static analysis scheme in a fashion which makes clear the relation between the abstract semantics and the standard semantics.  ...  We prove the soundness of our estimates by establishing a correspondence between the abstract semantics and the standard semantics of the programming language. determining whether an expression is side  ...  The first author thanks John Lucassen for helpful discussions and for pointers to the literature. The second author has benefited from discussions with Prateek Mishra and Uday Reddy.  ... 
doi:10.1145/41625.41650 dblp:conf/popl/NeirynckPD87 fatcat:xxpevhufoze7dmumpcxxsnrtbu

Is a Picture Worth a Thousand Words? Evidence from Concept Definitions by Patients with Semantic Dementia

Matthew A. Lambon Ralph, Kim S. Graham, Karalyn Patterson, John R. Hodges
1999 Brain and Language  
Mc-Carthy and Warrington argued for a semantic locus for this effect on two grounds.  ...  As a group there was no effect of category on naming accuracy and in the individual analyses only one patient exhibited significantly better performance for the artifacts.  ... 
doi:10.1006/brln.1999.2143 pmid:10600223 fatcat:5hlzjj5uffgyhmex5jfrctf72e

The neuropsychological profiles and semantic-critical regions of right semantic dementia

Keliang Chen, Junhua Ding, Biying Lin, Lin Huang, Le Tang, Yanchao Bi, Zaizhu Han, Yingru Lv, Qihao Guo
2018 NeuroImage: Clinical  
Previous literature has revealed that the anterior temporal lobe (ATL) is the semantic hub of leftsided or mixed semantic dementia (SD), whilst the semantic hub of right-sided SD has not been examined.  ...  We investigated the relationship between the degree of cerebral atrophy in the whole brain and the severity of semantic deficits in left and right-sided SD samples, respectively.  ...  In order to explore the influence of floor and ceiling effects on our data, the mean volumes of significant clusters in right and left-sided SD groups were further compared among three groups using one-way  ... 
doi:10.1016/j.nicl.2018.05.035 pmid:30009130 pmcid:PMC6041419 fatcat:nazh6ykbcvautfvnamibqeoece

The Transition from "Informal Knowledge / Formal Knowledge" and its Didactic Management System in Mathematics

Radouane Kasour, Naceur Achtaich, Mohamed Bahra, Brahim Nachit, Abdelwahed Namir, Mohammed Talbi
2014 Procedia - Social and Behavioral Sciences  
Therefore, it is noted that the mathematical language does not comprise the semantic side, hence, the handicap of this language.  ...  The language is based on two essential sides: the semantic side and the syntactic one, but when we talk about the formal language, we associate spontaneously to this, the mathematics and data processing  ...  Language over the alphabet L by definition a subset of L*. Symbolic system: We call a set of symbolic system signs effectively given or effectively buildable.  ... 
doi:10.1016/j.sbspro.2014.07.464 fatcat:duxrmwk6jbcrdn2ah5nuobb25m
« Previous Showing results 1 — 15 out of 185,720 results