The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase operational semantics (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1982 (17) 1983-1985 (22) 1986-1987 (21) 1988 (22) 1989 (30) 1990 (36) 1991 (41) 1992 (55) 1993 (43) 1994 (47) 1995 (34) 1996 (48) 1997 (35) 1998 (40) 1999 (44) 2000 (66) 2001 (57) 2002 (81) 2003 (77) 2004 (104) 2005 (103) 2006 (89) 2007 (122) 2008 (120) 2009 (111) 2010 (33) 2011 (26) 2012 (32) 2013 (25) 2014 (20) 2015 (19) 2016 (16) 2017 (19) 2018 (16) 2019 (3)
Publication types (Num. hits)
article(304) book(5) incollection(9) inproceedings(1334) phdthesis(12) proceedings(10)
Venues (Conferences, Journals, ...)
EXPRESS/SOS(56) POPL(46) CONCUR(43) Electr. Notes Theor. Comput. S...(36) ESOP(32) ACM Trans. Program. Lang. Syst...(30) PPDP(28) ICFP(24) ICALP(23) CoRR(20) SOS(19) ICLP(18) MFCS(18) LICS(17) REX Workshop(17) ICFEM(15) More (+10 of total 535)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1423 occurrences of 699 keywords

Results
Found 1674 publication records. Showing 1674 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
80Huibiao Zhu, Yongxin Zhao, Jifeng He Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
79Olivier Danvy Defunctionalized interpreters for programming languages. Search on Bibsonomy ICFP The full citation details ... 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
69Frits W. Vaandrager Expressive Results for Process Algebras. Search on Bibsonomy REX Workshop The full citation details ... 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
66Andrew Butterfield, Jim Woodcock prialt in Handel-C: an operational semantics. Search on Bibsonomy STTT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Operational semantics, Priority, Handel-C
63Huibiao Zhu, Jifeng He, Jonathan P. Bowen Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
62Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur The Refined Operational Semantics of Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
61Mohammad Reza Mousavi, Michel A. Reniers Orthogonal Extensions in Structural Operational Semantics. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality
60Daniel A. Sadilek Prototyping domain-specific language semantics. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF language engineering, domain-specific languages, metamodelling, operational semantics
58Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen Algebraic Approach to Linking the Semantics of Web Services. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Wei Ke, Zhiming Liu 0001, Shuling Wang, Liang Zhao A Graph-Based Operational Semantics of OO Programs. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF state graphs, operational semantics, object graphs, OO programs
55Mass Soldal Lund, Ketil Stølen A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Nicholas Paul Sheppard, Reihaneh Safavi-Naini On the operational semantics of rights expression languages. Search on Bibsonomy Digital Rights Management Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operational semantics, digital rights management, rights expression languages
52Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. Search on Bibsonomy MFPS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Michael W. Mislove, Frank J. Oles Full Abstraction and Unnested Recursion. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy
51M. D. Derk Towards a simpler method of operational semantics for language definition. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF operational semantics, binding, BNF
51Chris Ho-Stuart, Shaoying Liu A Formal Operational Semantics for SOFL. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF operational-semantics data-flow-diagram specification
51Jonathan Ford, Ian A. Mason Formal Foundations of Operational Semantics. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF contexts, theorem proving, operational semantics, PVS, calculus
50Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager Operational and Logical Semantics for Polling Real-Time Systems. Search on Bibsonomy FTRTFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
50Jacob Matthews, Robert Bruce Findler Operational semantics for multi-language programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF interoperability, Operational semantics
49Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day Composable semantics for model-based notations. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model-based notations, communication, concurrency, composition, operational semantics, formal analysis
49Huibiao Zhu, Jonathan P. Bowen, Jifeng He Deriving Operational Semantics from Denotational Semantics for Verilog. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Musab AlTurki, José Meseguer Real-time rewriting semantics of orc. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
49Frédéric Lang, Pierre Lescanne, Luigi Liquori A Framework for Defining Object-Calculi. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues
49Jonathan P. Bowen, Jifeng He, Qiwen Xu An Animatable Operational Semantics of the Verilog Hardware Description Language. Search on Bibsonomy ICFEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
49François Fages, Roberta Gori A Hierarchy of Semantics for Normal Constraint Logic Programs. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Michael von der Beeck A structured operational semantics for UML-statecharts. Search on Bibsonomy Software and System Modeling The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
48Alessandra Di Pierro, Herbert Wiklicky An Operational Semantics for Probabilistic Concurrent Constraint Programming. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism
48Luc Moreau 0001 An operational semantics for a parallel functional language with continuations. Search on Bibsonomy PARLE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency
48Robert J. Simmons, Frank Pfenning Linear logical approximations. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bottom-up linear logic programming, abstract interpretation, operational semantics
47Jonathan P. Bowen Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
47John Hannan Operational Semantics-Directed Compilers and Machine Architectures. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF pass separation, semantics-based compilation, abstract machines
46Gerwin Klein, Tobias Nipkow A machine-checked model for a Java-like language, virtual machine, and compiler. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, theorem proving, operational semantics
46Xiuli Sun, Jinzhao Wu Operational Semantics for Real-Time Processes with Action Refinement. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Koen Claessen, Johan Mårtensson An Operational Semantics for Weak PSL. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Healfdene Goguen Soundness of the Logical Framework for Its Typed Operational Semantics. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
46Daniele Turi, Gordon D. Plotkin Towards a Mathematical Operational Semantics. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
45Maciej Koutny, Javier Esparza, Eike Best Operational Semantics for the Petri Box Calculus. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Petri nets, process algebra, structured operational semantics, step sequences
45Gérard Boudol, Gustavo Petri Relaxed memory models: an operational approach. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operational semantics, memory models
45Huibiao Zhu, Jifeng He, Jing Li Unifying Denotational Semantics with Operational Semantics for Web Services. Search on Bibsonomy ICDCIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Karl Krukow, Mogens Nielsen Trust structures. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Trust structures, Denotational and operational semantics, Trust management, I/O automata, Foundations
43Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli New Semantic Tools for Logic Programming. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF logic programming, operational semantics, declarative semantics
43Huibiao Zhu, Jonathan P. Bowen, Jifeng He Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
43Keiko Nakata 0001, Tarmo Uustalu Trace-Based Coinductive Operational Semantics for While. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Jon Sneyers, Tom Schrijvers, Bart Demoen Guard Reasoning in the Refined Operational Semantics of CHR. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Cristian Tapus, Jason Hickey Distributed speculative execution for reliability and fault tolerance: an operational semantics. Search on Bibsonomy Distributed Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fault tolerance, Distributed systems, Transactions, Operational semantics, Speculations
42Ying Gao, Jingde Cheng Operational Semantics for Positive Relevant Logics Without Distribution. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Operational semantics, Relevant logics
42Jing Zhang, Licui Zhang, Degui Guo Operational Semantics of the Seal Calculus. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Seal Calculus, Mobile computation, operational semantics, abstract machine
42Peter D. Mosses Exploiting labels in Structural Operational Semantics. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF MSOS, modularity, structural operational semantics, natural semantics, SOS
42Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu Weakest Precondition for General Recursive Programs Formalized in Coq. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Formal Verification, Operational Semantics, Weakest Precondition, Coq
42Jameleddine Hassine, Juergen Rilling, Rachida Dssouli Abstract Operational Semantics for Use Case Maps. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps
41J Strother Moore Inductive assertions and operational semantics. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Theorem proving, JVM, Software verification, Verification condition
41J Strother Moore Inductive Assertions and Operational Semantics. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote Congruence for SOS with Data. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Huibiao 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. Search on Bibsonomy SEW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF PTSC, Operational Semantics, Algebraic Semantics, Semantic Linking
40Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau An Algebra of Non-safe Petri Boxes. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Petri nets, process algebra, operational semantics
40Julio C. Peralta, John P. Gallagher, Hüseyin Saglam Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming
39Roberto Gorrieri, Ugo Montanari Distributed Implementation of CCS. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
39Huibiao Zhu, Jonathan P. Bowen, Jifeng He From Operational Semantics to Denotational Semantics for Verilog. Search on Bibsonomy CHARME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Dirk Fahland Oclets - Scenario-Based Modeling with Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Petri nets, scenarios, operational semantics, partial order
39Jim Woodcock An Operational Semantics in UTP for a Language of Reactive Designs (Abstract). Search on Bibsonomy UTP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF UML meta model, precise behavioral semantics, graph transformation, statechart diagrams
39Egon Börger A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation. Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
38Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta Coinductive Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li An Operational Approach to BPEL-like Programming. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
37Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers SOS for Higher Order Processes. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics
37Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins Monadic concurrent linear logic programming. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF committed choice concurrency, operational semantics, linear logic
37J Strother Moore, George Porter The apprentice challenge. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation
37Deepak Goyal, Robert Paige A New Solution to the Hidden Copy Problem. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Copy Optimization, Big Step Operational Semantics, Must Alias Analysis, Abstract Interpretation
37Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. Search on Bibsonomy DALT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Xiaoxiao Yang, Zhenhua Duan Operational Semantics of Framed Temporal Logic Programs. Search on Bibsonomy SOFSEM (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin An Operational Semantics of an Event-Driven System-Level Simulator. Search on Bibsonomy SEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing An Event-Based Structural Operational Semantics of Multi-Threaded Java. Search on Bibsonomy Formal Syntax and Semantics of Java The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Grégoire Hamon, John M. Rushby An operational semantics for Stateflow. Search on Bibsonomy STTT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard Enhancing UML Extensions with Operational Semantics. Search on Bibsonomy MoDELS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Shuqing Zhao, Daniel D. Gajski Structural operational semantics for supporting multi-cycle operations in RTL HDLs. Search on Bibsonomy MEMOCODE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Grégoire Hamon, John M. Rushby An Operational Semantics for Stateflow. Search on Bibsonomy FASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Zbigniew W. Ras, Jan M. Zytkow Discovery of Equations and the Shared Operational Semantics in Distributed Autonomous Databases. Search on Bibsonomy PAKDD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Andrew C. Uselton Structured Operational Semantics for Concurrency and Hierarchy. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
35Franco Turini The Semantics of Ugo Montanari. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Daniel Leivant Structural Semantics for Polymorphic Data Types. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
35Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer A Programming Logic for Part of the Agent Language 3APL. Search on Bibsonomy FAABS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Abdoulaye Gamatié, Vlad Rusu, Éric Rutten Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. Search on Bibsonomy ISPDC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Marte Repetitive Structure Modeling, correctness, operational semantics, data-parallelism
35John R. D. Hughes, Cliff B. Jones Reasoning about programs via operational semantics: requirements for a support system. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Proofs about programs, Tool support, Structural operational semantics
35Katherine F. Moore, Dan Grossman High-level small-step operational semantics for transactions. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity
35Jacob Matthews, Robert Bruce Findler Operational semantics for multi-language programs. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-language systems, interoperability, operational semantics
35Juan Manuel Serrano, Sergio Saugar Operational semantics of multiagent interactions. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF social interactions, operational semantics, software connectors
35Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu Towards the Semantics for Web Service Choreography Description Language. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF exception handling, operational semantics, choreography, compensation, WS-CDL
35Marc Geilen, Twan Basten Reactive process networks. Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing
35Viviana Bono, Amit Patel, Vitaly Shmatikov A Core Calculus of Classes and Mixins. Search on Bibsonomy ECOOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF type system, inheritance, operational semantics, object-oriented language, class, calculus, mixin
35David M. Goldschlag Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
35Joost N. Kok Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
34Juan Antonio Navarro Pérez, Andrey Rybalchenko Operational Semantics for Declarative Networking. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF distributed systems, programming language semantics, Declarative networking
34Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip An operational semantics and type safety prooffor multiple inheritance in C++. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF semantics, C++, type safety, multiple inheritance
34Jordan Dimitrov Operational Semantics for Verilog. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Clement A. Baker-Finch, David J. King, Philip W. Trinder An operational semantics for parallel lazy evaluation. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim Semantics in Databases. Search on Bibsonomy Semantics in Databases The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Frank Pfenning, Robert J. Simmons Substructural Operational Semantics as Ordered Logic Programming. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Dale Miller 0001 Representing and Reasoning with Operational Semantics. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Wayne Wobcke An Operational Semantics for a PRS-Like Agent Architecture. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1674 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license