Sciweavers

3311 search results - page 260 / 663
» Deductive Object Programming
Sort
View
96
Voted
AAAI
2006
15 years 4 months ago
Preferences over Sets
Research on preference elicitation and reasoning typically focuses on preferences over single objects of interest. However, in a number of applications the "outcomes" of...
Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Sh...
130
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
Verifying safety policies with size properties and alias controls
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Cor...
112
Voted
ENTCS
2002
141views more  ENTCS 2002»
15 years 2 months ago
Graph Based Debugging with Fujaba
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
Leif Geiger, Albert Zündorf
126
Voted
COMPSAC
1998
IEEE
15 years 6 months ago
The Essence of the Visitor Pattern
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...
Jens Palsberg, C. Barry Jay
DOCENG
2008
ACM
15 years 4 months ago
A concise XML binding framework facilitates practical object-oriented document engineering
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, ...