Sciweavers

1671 search results - page 117 / 335
» Language Constructs for Multi-agent Programming
Sort
View
ICFP
2005
ACM
16 years 6 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
PPDP
2000
Springer
15 years 10 months ago
Declarative event-oriented programming
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
Conal Elliott
MODELS
2009
Springer
16 years 26 days ago
How to compare program comprehension in FOSD empirically: an experience report
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...
Janet Feigenspan, Christian Kästner, Sven Ape...
IPPS
2005
IEEE
15 years 12 months ago
Automatic Support for Irregular Computations in a High-Level Language
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
Jimmy Su, Katherine A. Yelick
ICSE
2008
IEEE-ACM
16 years 7 months ago
Design patterns: between programming and software design
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...
Christoph Denzler, Dominik Gruntz