Sciweavers

933 search results - page 14 / 187
» Multi-paradigm Declarative Languages
Sort
View
PADL
2009
Springer
15 years 11 months ago
Operational Semantics for Declarative Networking
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Juan A. Navarro, Andrey Rybalchenko
PEPM
2004
ACM
15 years 4 months ago
Declarative specialization for object-oriented-program specialization
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
Helle Markmann Andersen, Ulrik Pagh Schultz
CORR
2011
Springer
187views Education» more  CORR 2011»
14 years 6 months ago
The Language Features and Architecture of B-Prolog
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...
Neng-Fa Zhou
VLDB
1991
ACM
179views Database» more  VLDB 1991»
15 years 2 months ago
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
Antonio Albano, Giorgio Ghelli, Renzo Orsini
92
Voted
BPM
2007
Springer
181views Business» more  BPM 2007»
15 years 5 months ago
Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues
Recent analysis of clinical Computer-Interpretable Guideline (CIG) modelling languages from the perspective of the control-flow patterns has revealed limited capabilities of these...
Nataliya Mulyar, Maja Pesic, Wil M. P. van der Aal...