A semantics for ML concurrency primitives
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphic queries across sets, bags, and lists
ACM SIGPLAN Notices
Programming language semantics
ACM Computing Surveys (CSUR)
Formal semantics for SA style data flow diagram specification languages
Proceedings of the 1999 ACM symposium on Applied computing
Operational methods in theoretical computer science
ACM Computing Surveys (CSUR)
An operational semantics for parallel lazy evaluation
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Linear-Time Self-Interpretation of the Pure Lambda Calculus
Higher-Order and Symbolic Computation
Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93
Formal Methods in System Design
Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Probabilistic Pattern Matching and the Evolution of Stochastic Regular Expressions
Applied Intelligence
Deterministic Expressions in C
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Finiteness Analysis in Polynomial Time
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Integrating Domain Specific Language Design in the Software Life Cycle
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Towards an Operational Semantics for a Parallel Non-Strict Functional Language
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Program representation and behavioural matching for localizing similar code fragments
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
The development of a partial design recovery environment for legacy systems
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Probabilistic complex actions in GOLOG
Fundamenta Informaticae
Programming language semantics
Encyclopedia of Computer Science
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
The rewriting logic semantics project
Theoretical Computer Science
System Prototype and Verification Using Metamodel-Based Transformations
IEEE Distributed Systems Online
Strategies and simulations in a semantic framework
Journal of Algorithms
Language Parametric Module Management for IDEs
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic Stuttering Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
A Declarative Debugger for Maude
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
CUDL language semantics: Updating FDB data
Journal of Systems and Software
Implicit Propagation in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Termination Problem for Declarative XML Message Processing
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Tagged Systems: A Framework for the Specification of History-dependent Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
The Rewriting Logic Semantics Project
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
Structural operational semantics of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Model transformation languages relying on models as ADTs
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Engineering agent conversations with the DIALOG framework
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
ICISC'05 Proceedings of the 8th international conference on Information Security and Cryptology
Teaching semantics of programming languages with modular SOS
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Symbolic consistency checking of OpenMp parallel programs
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Revising conflicting intention sets in BDI agents
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Probabilistic Complex Actions in GOLOG
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
| Hi-index | 0.00 |