Results 11  20
of
459,762
The Semantics Of Constraint Logic Programs
 JOURNAL OF LOGIC PROGRAMMING
, 1996
"... This paper presents for the first time the semantic foundations of CLP in a selfcontained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new and comp ..."
Abstract

Cited by 872 (14 self)
 Add to MetaCart
since almost all CLP systems use an incomplete solver. Third, we give conditions on the (possibly incomplete) solver which ensure that the operational semantics is confluent, that is, has independence of literal scheduling.
Operational Semantics and Program Equivalence
 INRIA Sophia Antipolis, 2000. Lectures at the International Summer School On Applied Semantics, APPSEM 2000, Caminha, Minho
, 2000
"... This tutorial paper discusses a particular style of operational semantics that enables one to give a `syntaxdirected' inductive definition of termination which is very useful for reasoning about operational equivalence of programs. We restrict attention to contextual equivalence of express ..."
Abstract

Cited by 41 (4 self)
 Add to MetaCart
This tutorial paper discusses a particular style of operational semantics that enables one to give a `syntaxdirected' inductive definition of termination which is very useful for reasoning about operational equivalence of programs. We restrict attention to contextual equivalence
Enhanced Operational Semantics
 ACM Computing Surveys
, 1996
"... designers, implementors, users) must understand it. They can be roughly divided in two main groups. The first group is particularly interested in the behavioural aspects of systems, i.e. in what they do, regardless of how. The other group is concerned with the quantitative aspects of systems, i.e. ..."
Abstract

Cited by 41 (16 self)
 Add to MetaCart
.e. how efficiently they perform. The considerations above call for a semantics as usable as possible, with an underlying theory accordingly simple. Operational semantics is such because it describes the essential features that any computing device has. Thus, also final users may grasp the meaning of a
An Operational Semantics for JavaScript
"... Abstract. We define a smallstep operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and mashups. The semantics is based on the language standard and a number of experiments with different implement ..."
Abstract

Cited by 49 (12 self)
 Add to MetaCart
Abstract. We define a smallstep operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and mashups. The semantics is based on the language standard and a number of experiments with different
Graphical Operational Semantics
 Proc. ICALP2000 Workshop on Graph Transformation and Visual Modelling Techniques
, 2000
"... We combine the methodology of Plotkinstyle operational semantics with graph transformation concepts in order to specify the operational semantics of diagram languages. Keywords structured operational semantics, graph transformation, diagram languages 1 Introduction Structured Operational Sema ..."
Abstract

Cited by 12 (7 self)
 Add to MetaCart
We combine the methodology of Plotkinstyle operational semantics with graph transformation concepts in order to specify the operational semantics of diagram languages. Keywords structured operational semantics, graph transformation, diagram languages 1 Introduction Structured Operational
Structured operational semantics of χ
 Eindhoven University of Technology
, 1999
"... An operational semantics of the systems engineering specification formalism χ is given using an SOSstyle (structured operational semantics) semantics [Plo81]. The semantics is given in two steps. First, a minimal version of is defined in order to decrease the number of syntactic constructs. In ord ..."
Abstract
 Add to MetaCart
An operational semantics of the systems engineering specification formalism χ is given using an SOSstyle (structured operational semantics) semantics [Plo81]. The semantics is given in two steps. First, a minimal version of is defined in order to decrease the number of syntactic constructs
Inductive assertions and operational semantics
 CHARME 2003. Volume 2860 of LNCS., SpringerVerlag
, 2003
"... Abstract. This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes only the proof obligations that would be produced by a verification condition generator but does not require th ..."
Abstract

Cited by 29 (8 self)
 Add to MetaCart
Abstract. This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes only the proof obligations that would be produced by a verification condition generator but does not require
The Semantics of Predicate Logic as a Programming Language
 Journal of the ACM
, 1976
"... ABSTRACT Sentences in firstorder predicate logic can be usefully interpreted as programs In this paper the operational and fixpomt semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated It is concluded that operational ..."
Abstract

Cited by 810 (18 self)
 Add to MetaCart
ABSTRACT Sentences in firstorder predicate logic can be usefully interpreted as programs In this paper the operational and fixpomt semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated It is concluded
Representing and reasoning with operational semantics
 In: Proceedings of the Joint International Conference on Automated Reasoning
, 2006
"... The operational semantics of programming and specification languages is often presented via inference rules and these can generally be mapped into logic programminglike clauses. Such logical encodings of operational semantics can be surprisingly declarative if one uses logics that directly account ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
The operational semantics of programming and specification languages is often presented via inference rules and these can generally be mapped into logic programminglike clauses. Such logical encodings of operational semantics can be surprisingly declarative if one uses logics that directly account
Algebraic Operational Semantics and Occam
 in the Proceedings of CSL'89
, 1990
"... We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to the study of verification and transformation of programs. 1 Introduction Computational processes involve change. Althoug ..."
Abstract

Cited by 25 (5 self)
 Add to MetaCart
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to the study of verification and transformation of programs. 1 Introduction Computational processes involve change
Results 11  20
of
459,762