1776 search results - page 209 / 356 » Using a Logic Programming Language with Persistence and Cont... |
130
Voted
ASE
2004
15 years 3 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
121
Voted
FOAL
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
124
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
126
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
100
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...