Sciweavers

1552 search results - page 136 / 311
» Concepts and Concept-Oriented Programming
Sort
View
HASKELL
2008
ACM
13 years 11 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki
SOFTVIS
2010
ACM
13 years 10 months ago
CodePad: interactive spaces for maintaining concentration in programming environments
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
Chris Parnin, Carsten Görg, Spencer Rugaber
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
14 years 1 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
EMSOFT
2008
Springer
13 years 12 months ago
Disassembling real-time fault-tolerant programs
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Ar...
SLP
1997
102views more  SLP 1997»
13 years 11 months ago
Compositionality of Normal Open Logic Programs
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
Sofie Verbaeten, Marc Denecker, Danny De Schreye