2173 search results - page 198 / 435 » An operational semantics for skeletons |
117
click to vote
JUCS
2008
15 years 19 days 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...
111
Voted
ATVA
2010
Springer
14 years 10 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...
147
Voted
CL
2012
Springer
13 years 3 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
120
click to vote
TPHOL
2005
IEEE
15 years 6 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...
124
click to vote
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...