2136 search results - page 190 / 428 » A Game-Theoretic Operational Semantics |
125
Voted
AIPS
2009
15 years 4 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
140
click to vote
JUCS
2008
15 years 3 months ago
2008
: The latest versions of AspectJ, the most popular aspect-oriented extension for Java, must cope with the complex changes that occurred in the Java type system, specially with thos...
140
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
162
Voted
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
150
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...