Sciweavers

2236 search results - page 36 / 448
» Language Independence and Language Tolerance in Logic Progra...
Sort
View
ECOOPW
1998
Springer
15 years 10 months ago
Aspect-Oriented Logic Meta Programming
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
Kris De Volder
LICS
2006
IEEE
15 years 12 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
DEXA
1994
Springer
92views Database» more  DEXA 1994»
15 years 10 months ago
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
Elsa L. Gunter, Leonid Libkin
ICFP
2006
ACM
16 years 5 months ago
Design patterns as higher-order datatype-generic programs
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
Jeremy Gibbons
ICLP
2005
Springer
15 years 11 months ago
A Distributed and Probabilistic Concurrent Constraint Programming Language
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
Luca Bortolussi, Herbert Wiklicky