1020 search results - page 114 / 204 » Tight Semantics for Logic Programs |
123
click to vote
MPC
2010
Springer
15 years 1 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
113
click to vote
PADO
2001
Springer
15 years 4 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
123
click to vote
CARDIS
2000
Springer
15 years 4 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
ECOOP
2006
Springer
15 years 3 months ago
2006
Springer
The evolvability of AOP systems is severely affected by the tight coupling between aspects and base code. This paper identifies the advice fragility problem, originated in the need...
KI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...