Sciweavers

1736 search results - page 260 / 348
» Semantic Annotation for Java
Sort
View
FOAL
2009
ACM
15 years 11 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr
ICLP
2007
Springer
15 years 10 months ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy...
OOPSLA
2007
Springer
15 years 10 months ago
Understanding programmer language
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
Einar W. Høst
RULEML
2007
Springer
15 years 10 months ago
The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...
Benjamin Larry Craig
SEFM
2006
IEEE
15 years 10 months ago
Formalizing AspectJ Weaving for Static Pointcuts
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
Nadia Belblidia, Mourad Debbabi