Search results for "Operational semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	interoperability, Operational semantics
3	Cristian Tapus, Jason Hickey	Distributed speculative execution for reliability and fault tolerance: an operational semantics.	Distributed Computing	2009	DBLP DOI BibTeX RDF	Fault tolerance, Distributed systems, Transactions, Operational semantics, Speculations
3	Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao	A Graph-Based Operational Semantics of OO Programs.	ICFEM	2009	DBLP DOI BibTeX RDF	state graphs, operational semantics, object graphs, OO programs
3	Nicholas Paul Sheppard, Reihaneh Safavi-Naini	On the operational semantics of rights expression languages.	Digital Rights Management Workshop	2009	DBLP DOI BibTeX RDF	operational semantics, digital rights management, rights expression languages
3	Ying Gao, Jingde Cheng	Operational Semantics for Positive Relevant Logics Without Distribution.	CiE	2007	DBLP DOI BibTeX RDF	Operational semantics, Relevant logics
3	Zhang Jing, Zhang Li-Cui, Guo De-Gui	Operational Semantics of the Seal Calculus.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Seal Calculus, Mobile computation, operational semantics, abstract machine
3	M. D. Derk	Towards a simpler method of operational semantics for language definition.	SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	operational semantics, binding, BNF
3	Andrew Butterfield, Jim Woodcock	prialt in Handel-C: an operational semantics.	STTT	2005	DBLP DOI BibTeX RDF	Operational semantics, Priority, Handel-C
3	Mohammad Reza Mousavi, Michel A. Reniers	Orthogonal Extensions in Structural Operational Semantics.	ICALP	2005	DBLP DOI BibTeX RDF	Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality
3	Peter D. Mosses	Exploiting labels in Structural Operational Semantics.	SAC	2004	DBLP DOI BibTeX RDF	MSOS, modularity, structural operational semantics, natural semantics, SOS
3	Jonathan Ford, Ian A. Mason	Formal Foundations of Operational Semantics.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	contexts, theorem proving, operational semantics, PVS, calculus
3	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Software and System Modeling	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
3	Alessandra Di Pierro, Herbert Wiklicky	An Operational Semantics for Probabilistic Concurrent Constraint Programming. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism
3	Chris Ho-Stuart, Shaoying Liu	A Formal Operational Semantics for SOFL.	APSEC	1997	DBLP DOI BibTeX RDF	operational-semantics data-flow-diagram specification
3	Maciej Koutny, Javier Esparza, Eike Best	Operational Semantics for the Petri Box Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF	Petri nets, process algebra, structured operational semantics, step sequences
3	Luc Moreau	An operational semantics for a parallel functional language with continuations.	PARLE	1992	DBLP DOI BibTeX RDF	metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency
3	Frits W. Vaandrager	Expressive Results for Process Algebras.	REX Workshop	1992	DBLP DOI BibTeX RDF	process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence
2	Asiri Rathnayake, Hayo Thielecke	Regular Expression Matching and Operational Semantics	SOS	2011	DBLP DOI BibTeX RDF
2	Abdoulaye Gamatié, Vlad Rusu, Éric Rutten	Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design.	ISPDC	2010	DBLP DOI BibTeX RDF	Marte Repetitive Structure Modeling, correctness, operational semantics, data-parallelism
2	Huibiao Zhu, Yongxin Zhao, Jifeng He	Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
2	Juan Antonio Navarro Pérez, Andrey Rybalchenko	Operational Semantics for Declarative Networking.	PADL	2009	DBLP DOI BibTeX RDF	distributed systems, programming language semantics, Declarative networking
2	Daniel A. Sadilek, Guido Wachsmuth	Using Grammarware Languages to Define Operational Semantics of Modelled Languages.	TOOLS	2009	DBLP DOI BibTeX RDF
2	Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders	Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.	SEW	2009	DBLP DOI BibTeX RDF	PTSC, Operational Semantics, Algebraic Semantics, Semantic Linking
2	Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Espinoza, Peter J. Clarke, Yi Deng	Towards the Operational Semantics of User-Centric Communication Models.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Keiko Nakata, Tarmo Uustalu	Trace-Based Coinductive Operational Semantics for While.	TPHOLs	2009	DBLP DOI BibTeX RDF
2	Frank Pfenning, Robert J. Simmons	Substructural Operational Semantics as Ordered Logic Programming.	LICS	2009	DBLP DOI BibTeX RDF
2	Mirko Morandini, Loris Penserini, Anna Perini	Operational semantics of goal models in adaptive agents.	AAMAS	2009	DBLP DOI BibTeX RDF	formal semantics, goals, goal models, agent programming
2	Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt	Expressive scoping of distributed aspects.	AOSD	2009	DBLP DOI BibTeX RDF	aspect-oriented programming, distribution, scheme, operational semantics, scope, dynamic deployment
2	Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer	Roles and norms for programming agent organizations.	AAMAS	2009	DBLP DOI BibTeX RDF	organizations, operational semantics, roles, norms
2	Robert J. Simmons, Frank Pfenning	Linear logical approximations.	PEPM	2009	DBLP DOI BibTeX RDF	bottom-up linear logic programming, abstract interpretation, operational semantics
2	Gérard Boudol, Gustavo Petri	Relaxed memory models: an operational approach.	POPL	2009	DBLP DOI BibTeX RDF	operational semantics, memory models
2	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
2	Dirk Fahland	Oclets - Scenario-Based Modeling with Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Petri nets, scenarios, operational semantics, partial order
2	Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer	A Sound and Complete Program Logic for Eiffel.	TOOLS	2009	DBLP DOI BibTeX RDF	operational semantics, Software verification, Eiffel, program proofs
2	Dominique Cansell, Dominique Méry, Cyril Proch	System-on-chip design by proof-based refinement.	STTT	2009	DBLP DOI BibTeX RDF	Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
2	John R. D. Hughes, Cliff B. Jones	Reasoning about programs via operational semantics: requirements for a support system.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Proofs about programs, Tool support, Structural operational semantics
2	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard Reasoning in the Refined Operational Semantics of CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
2	Armin Wolf, Jacques Robin, Jairson Vitorino	Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
2	Katherine F. Moore, Dan Grossman	High-level small-step operational semantics for transactions.	POPL	2008	DBLP DOI BibTeX RDF	weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity
2	Irfan Hamid, Elie Najm	Operational Semantics of Ada Ravenscar.	Ada-Europe	2008	DBLP DOI BibTeX RDF
2	Sergio Maffeis, John C. Mitchell, Ankur Taly	An Operational Semantics for JavaScript.	APLAS	2008	DBLP DOI BibTeX RDF
2	Sam Staton	General Structural Operational Semantics through Categorical Logic.	LICS	2008	DBLP DOI BibTeX RDF
2	Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu	Operational semantics of probabilistic Kleene algebra with tests.	ISCC	2008	DBLP DOI BibTeX RDF
2	Sérgio Medeiros, Roberto Ierusalimschy	A parsing machine for PEGs.	DLS	2008	DBLP DOI BibTeX RDF	parsing expression grammars, parsing machine, pattern matching, operational semantics, scripting languages
2	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
2	Daniel A. Sadilek	Prototyping domain-specific language semantics.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	language engineering, domain-specific languages, metamodelling, operational semantics
2	Stefan Bisanz, Ulrich Hannemann, Jan Peleska	Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.	COMPSAC	2008	DBLP DOI BibTeX RDF	embedded systems, Hybrid systems, operational semantics
2	Andrew Gacek, Dale Miller, Gopalan Nadathur	Combining Generic Judgments with Recursive Definitions.	LICS	2008	DBLP DOI BibTeX RDF	generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search
2	Cezara Dragoi, Gheorghe Stefanescu	On Compiling Structured Interactive Programs with Registers and Voices.	SOFSEM	2008	DBLP DOI BibTeX RDF	structured rv-systems, registers and voices, programming languages, interactive systems, operational semantics, compiler correctness
2	Chenguang Luo, Shengchao Qin, Zongyan Qiu	Verifying BPEL-like programs with Hoare logic.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	compensation mechanism, axiomatic verification system, operational semantics, soundness, WS-BPEL
2	Grégoire Hamon, John M. Rushby	An operational semantics for Stateflow.	STTT	2007	DBLP DOI BibTeX RDF
2	Markus Scheidgen, Joachim Fischer	Human Comprehensible and Machine Processable Specifications of Operational Semantics.	ECMDA-FA	2007	DBLP DOI BibTeX RDF
2	Huibiao Zhu, Jifeng He, Jonathan P. Bowen	Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.	SEW	2007	DBLP DOI BibTeX RDF
2	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	POPL	2007	DBLP DOI BibTeX RDF	multi-language systems, interoperability, operational semantics
2	Guido Wachsmuth	Modelling the Operational Semantics of Domain-Specific Modelling Languages.	GTTSE	2007	DBLP DOI BibTeX RDF
2	Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard	Enhancing UML Extensions with Operational Semantics.	MoDELS	2007	DBLP DOI BibTeX RDF
2	Huibiao Zhu, Jifeng He, Jing Li	Unifying Denotational Semantics with Operational Semantics for Web Services.	ICDCIT	2007	DBLP DOI BibTeX RDF
2	Bartek Klin	Bialgebraic Operational Semantics and Modal Logic.	LICS	2007	DBLP DOI BibTeX RDF
2	Juan Manuel Serrano, Sergio Saugar	Operational semantics of multiagent interactions.	AAMAS	2007	DBLP DOI BibTeX RDF	social interactions, operational semantics, software connectors
2	Xiaoxiao Yang, Zhenhua Duan	Operational Semantics of Framed Temporal Logic Programs.	SOFSEM	2007	DBLP DOI BibTeX RDF
2	Patryk Czarnik, Aleksy Schubert	Extending Operational Semantics of the Java Bytecode.	TGC	2007	DBLP DOI BibTeX RDF
2	Musab AlTurki, José Meseguer	Real-time rewriting semantics of orc.	PPDP	2007	DBLP DOI BibTeX RDF	orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
2	Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li	An Operational Approach to BPEL-like Programming.	SEW	2007	DBLP DOI BibTeX RDF	Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
2	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
2	Grazyna Brzykcy, Jerzy Bartoszek	Context in Rules Used in P2P Semantic Data Integration System.	RR	2007	DBLP DOI BibTeX RDF	context-aware processes, Prolog-like computations, operational semantics, P2P system, situation theory
2	Karl Krukow, Mogens Nielsen	Trust structures.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Trust structures, Denotational and operational semantics, Trust management, I/O automata, Foundations
2	J. Strother Moore	Inductive assertions and operational semantics.	STTT	2006	DBLP DOI BibTeX RDF	Theorem proving, JVM, Software verification, Verification condition
2	Dale Miller	Representing and Reasoning with Operational Semantics.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin	An Operational Semantics of an Event-Driven System-Level Simulator.	SEW	2006	DBLP DOI BibTeX RDF
2	Souhei Ito, Shigeki Hagihara, Naoki Yonezaki	An Operational Semantics of Program Dependence Graphs for Unstructured Programs.	ASIAN	2006	DBLP DOI BibTeX RDF
2	Mass Soldal Lund, Ketil Stølen	A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice.	FM	2006	DBLP DOI BibTeX RDF
2	Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip	An operational semantics and type safety prooffor multiple inheritance in C++.	OOPSLA	2006	DBLP DOI BibTeX RDF	semantics, C++, type safety, multiple inheritance
2	Jim Woodcock	An Operational Semantics in UTP for a Language of Reactive Designs (Abstract).	UTP	2006	DBLP DOI BibTeX RDF
2	Marcelo P. Fiore, Sam Staton	A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.	LICS	2006	DBLP DOI BibTeX RDF
2	Xavier Leroy	Coinductive Big-Step Operational Semantics.	ESOP	2006	DBLP DOI BibTeX RDF
2	Nickolas J. G. Falkner, Paul D. Coddington, Andrew L. Wendelborn	Capturing and Using the Operational Semantics of Large Distributed Systems: Sharing Common Application Requirements in Virtual Organisations.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
2	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough	Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.	POPL	2006	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
2	Frédéric Peschanski, Samuel Hym	A stackless runtime environment for a Pi-calculus.	VEE	2006	DBLP DOI BibTeX RDF	garbage collection, interpreter, operational semantics, Pi-calculus
2	Gerwin Klein, Tobias Nipkow	A machine-checked model for a Java-like language, virtual machine, and compiler.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Java, theorem proving, operational semantics
2	Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu	Towards the Semantics for Web Service Choreography Description Language.	ICFEM	2006	DBLP DOI BibTeX RDF	exception handling, operational semantics, choreography, compensation, WS-CDL
2	Jean-Luc Koning, Pierre-Yves Oudeyer	Modeling interaction strategies using POS: An application to soccer robots.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Agent conversation protocols, Operational semantics, Distributed problem solving, Soccer-robot
2	Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu	From Statecharts to Verilog: a formal approach to hardware/software co-specification.	ISSE	2006	DBLP DOI BibTeX RDF	Operational semantics, Statecharts, Hardware/software partitioning, Homomorphism, Verilog, Algebraic laws
2	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Abstract Operational Semantics for Use Case Maps.	FORTE	2005	DBLP DOI BibTeX RDF	AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps
2	Xiuli Sun, Jinzhao Wu	Operational Semantics for Real-Time Processes with Action Refinement.	SEFM	2005	DBLP DOI BibTeX RDF
2	Shuqing Zhao, Daniel D. Gajski	Structural operational semantics for supporting multi-cycle operations in RTL HDLs.	MEMOCODE	2005	DBLP DOI BibTeX RDF
2	Alex K. Simpson	Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics.	RTA	2005	DBLP DOI BibTeX RDF
2	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	An ASM Operational Semantics for Use Case Maps.	RE	2005	DBLP DOI BibTeX RDF
2	Jim Woodcock, Ana Cavalcanti, Leonardo Freitas	Operational Semantics for Model Checking Circus.	FM	2005	DBLP DOI BibTeX RDF
2	Jingtao Yang, Corina Cîrstea, Peter Henderson	An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.	QSIC	2005	DBLP DOI BibTeX RDF
2	Edward A. Lee, Haiyang Zheng	Operational Semantics of Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
2	Oana Andrei, Gabriel Ciobanu, Dorel Lucanu	Structural Operational Semantics of P Systems.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
2	Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins	Monadic concurrent linear logic programming.	PPDP	2005	DBLP DOI BibTeX RDF	committed choice concurrency, operational semantics, linear logic
2	Dale Miller, Alwen Tiu	A proof theory for generic judgments.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	?-tree syntax, ?-quantifier, generic judgments, reasoning about operational semantics, higher-order abstract syntax, Proof search
2	Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers	SOS for Higher Order Processes.	CONCUR	2005	DBLP DOI BibTeX RDF	Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics
2	Koen Claessen, Johan Mårtensson	An Operational Semantics for Weak PSL.	FMCAD	2004	DBLP DOI BibTeX RDF
2	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	The Refined Operational Semantics of Constraint Handling Rules.	ICLP	2004	DBLP DOI BibTeX RDF
2	Michael J. Butler, Carla Ferreira	An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.	COORDINATION	2004	DBLP DOI BibTeX RDF
2	Grégoire Hamon, John M. Rushby	An Operational Semantics for Stateflow.	FASE	2004	DBLP DOI BibTeX RDF
2	Amal El Fallah-Seghrouchni, Alexandru Suna	Programming Mobile Intelligent Agents: An Operational Semantics.	IAT	2004	DBLP DOI BibTeX RDF
2	Frank Pfenning	Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).	APLAS	2004	DBLP DOI BibTeX RDF