Find link

language:

Find link is a tool written by Edward Betts.

searching for Operational semantics 30 found (98 total)

Gilles Kahn (101 words) [view diff] exact match in snippet view article find links to article

for parallel processing and natural semantics for describing the operational semantics of programming languages. Gilles Kahn was born in Paris. He studied

ECMAScript (1,427 words) [view diff] exact match in snippet view article find links to article

sounds like a skin disease." ECMAScript has been formalized through operational semantics by work at Stanford University and the Department of Computing,

Algebraic Petri net (553 words) [view diff] exact match in snippet view article find links to article

places of the output arcs. Usually term rewriting is used for the operational semantics in order to check if conditions hold and to compute output terms

TAPAs model checker (489 words) [view diff] exact match in snippet view article find links to article

from deadlock. The language is formally defined using a structured operational semantics in the style invented by Gordon Plotkin. TAPAS is the result of

Relevance logic (3,947 words) [view diff] exact match in snippet view article find links to article

deduction system is equivalent to a system provided by Dag Prawitz. The operational semantics can be adapted to model the conditional of E by adding a non-empty

Iterator (5,763 words) [view diff] exact match in snippet view article find links to article

implementation and is often tightly coupled to the collection to enable the operational semantics of the iterator. An iterator is behaviorally similar to a database

Meta-Object Facility (866 words) [view diff] exact match in snippet view article find links to article

EMOF meta-models, hence making it possible to also model a DSL operational semantics and readily obtain an interpreter for it. JMI defines a Java API

Stateflow (312 words) [view diff] case mismatch in snippet view article find links to article

Hybrid Systems Using Stateflow Gregoire Hamon; John Rushby. "An Operational Semantics for Stateflow" (PDF). Presented at Fundamental Approaches to Software

Mads Tofte (612 words) [view diff] exact match in snippet view article find links to article

Edinburgh University of Nigeria IT University of Copenhagen Thesis Operational semantics and polymorphic type inference (1987) Doctoral advisor Robin Milner

Symposium on Logic in Computer Science (670 words) [view diff] case mismatch in snippet view article find links to article

Processes" Daniele Turi, Gordon D. Plotkin, "Towards a Mathematical Operational Semantics" Martín Abadi, Cédric Fournet, Georges Gonthier, "Secure Implementation

TTCN-3 (828 words) [view diff] case mismatch in snippet view article find links to article

graphically with a representation that is similar to the MSC Z.164 - Operational Semantics - Defines how TTCN-3 is executed Z.165 - TRI - Defines the API provided

Matthew Hennessy (359 words) [view diff] case mismatch in snippet view article find links to article

Programming Languages: An Elementary Introduction using Structural Operational Semantics. John Wiley and Sons, New York, 1990. ISBN 0-471-92772-4. Hennessy–Milner

Stratification (mathematics) (820 words) [view diff] exact match in snippet view article

S(P)>S(Q)} . The notion of stratified negation leads to a very effective operational semantics for stratified programs in terms of the stratified least fixpoint

2APL (734 words) [view diff] case mismatch in snippet view article find links to article

Toni and Jamal Bentahar, 2008. Mehdi Dastani and Bas Steunebrink. Operational Semantics for BDI Modules in Multi-Agent Programming. Proceedings of the tenth

ISWIM (651 words) [view diff] exact match in snippet view article find links to article

has higher-order functions and lexically scoped variables. The operational semantics of ISWIM are defined using Landin's SECD machine and use call-by-value

Active message (640 words) [view diff] exact match in snippet view article find links to article

express the code of the active messages. Remote procedure call "The operational semantics of an active message system", ACM Portal. Accessed July 20, 2009

Robert Kowalski (1,484 words) [view diff] exact match in snippet view article find links to article

the procedural interpretation of Horn clauses, which underpin the operational semantics of backward reasoning in logic programming. With Maarten van Emden

Linda (coordination language) (1,656 words) [view diff] exact match in snippet view article

from the tuple space whereas (read) only reads it. The resulting operational semantics is synchronous. Linda was originally implemented in C and Fortran

Cas Cremers (444 words) [view diff] case mismatch in snippet view article find links to article

and Erik de Vink. Also published with Sjouke Mauw is their book Operational Semantics and Verification of Security Protocols. PhD Thesis, Eindhoven 2006

John Launchbury (901 words) [view diff] exact match in snippet view article find links to article

addressing challenges in analyzing a program’s storage requirements. The operational semantics is widely cited in later research on Haskell. In the context of

Martin Wirsing (1,190 words) [view diff] case mismatch in snippet view article find links to article

Knapp, Bernhard Reus, and Martin Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In: Jim Alves-Foss (ed.): Formal Syntax

Constraint Handling Rules (1,883 words) [view diff] case mismatch in snippet view article find links to article

García de la Banda, María; Holzbaur, Christian (2004). "The Refined Operational Semantics of Constraint Handling Rules" (PDF). Logic Programming. Lecture

Call-by-push-value (1,471 words) [view diff] exact match in snippet view article find links to article

writing programs in CBPV more natural. Complex values complicate the operational semantics, in particular requiring an arbitrary decision of when to evaluate

Evaluation strategy (5,225 words) [view diff] case mismatch in snippet view article find links to article

Clem; King, David; Hall, Jon; Trinder, Phil (1999-03-10). "An Operational Semantics for Parallel Call-by-Need" (ps). Research Report. 99 (1). Faculty

Logic programming (10,752 words) [view diff] no match in snippet view article find links to article

methods are also regarded as providing a separate proof-theoretic (or operational) semantics for logic programs. But from a logical point of view, they are proof

Algorithmic skeleton (8,819 words) [view diff] exact match in snippet view article find links to article

evaluation of a skeleton application follows a formal definition of operational semantics introduced by Aldinucci and Danelutto, which can handle both task

Join-pattern (6,440 words) [view diff] exact match in snippet view article find links to article

core of a distributed programming language. In particular, the operational semantics is easily implementable in a distributed setting with failures.

Frank Leymann (1,852 words) [view diff] exact match in snippet view article find links to article

applications, their artifacts, and dependencies, as well as the associated operational semantics to automatically provision such applications. Leymann's group at

Object Process Methodology (9,938 words) [view diff] exact match in snippet view article find links to article

condition The Event-Condition-Action paradigm provides the OPM operational semantics and flow of control. An event is a point in time at which an object

Mobile membranes (7,128 words) [view diff] exact match in snippet view article find links to article

{\displaystyle ({\mathcal {A}},\mid ,0)} is a commutative monoid. The operational semantics of pure ambient safe calculus are defined in terms of a reduction