Sciweavers

1671 search results - page 192 / 335
» Language Constructs for Multi-agent Programming
Sort
View
SAC
2006
ACM
16 years 10 days ago
Decoupling classes with inferred interfaces
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...
Friedrich Steimann, Philip Mayer, Andreas Meissner
ITICSE
2004
ACM
15 years 11 months ago
Experiences with teaching design patterns
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...
Sylvia Stuurman, Gert Florijn
ESOP
2004
Springer
15 years 11 months ago
Adaptive Pattern Matching on Binary Data
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
Per Gustafsson, Konstantinos F. Sagonas
TOOLS
1998
IEEE
15 years 10 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
Roel Wuyts
MFPS
1993
15 years 10 months ago
Some Quasi-Varieties of Iteration Theories
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
Stephen L. Bloom, Zoltán Ésik