Sciweavers

3595 search results - page 247 / 719
» Roles of Program Extension
Sort
View
REFLECTION
2001
Springer
15 years 10 months ago
A Hybrid Approach to Separation of Concerns: The Story of SADES
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
Awais Rashid
CADE
1999
Springer
15 years 10 months ago
System Description: Twelf - A Meta-Logical Framework for Deductive Systems
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
Frank Pfenning, Carsten Schürmann
SIGCSE
1998
ACM
131views Education» more  SIGCSE 1998»
15 years 10 months ago
Animation, visualization, and interaction in CS 1 assignments
Programs that use animations or visualizations attract student interest and offer feedback that can enhance different learning styles as students work to master programming and pr...
Owen L. Astrachan, Susan H. Rodger
182
Voted
AGP
1997
IEEE
15 years 10 months ago
An Algorithm for Learning Abductive Rules
We propose an algorithm for learning abductive logic programs from examples. We consider the Abductive Concept Learning framework, an extension of the Inductive Logic Programming ...
Evelina Lamma, Paola Mello, Michela Milano, Fabriz...
151
Voted
POS
1998
Springer
15 years 10 months ago
Toward Class Evolution in Persistent Java?
The appeal of persistent class-oriented programming languages is great. Allowing class definitions to be persistent, in addition to instance data, greatly increases the ease of ac...
John V. E. Ridgway, Jack C. Wileden