3718 search results - page 246 / 744 » Programming by Integration in Robotics |
196
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
224
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
206
click to vote
ECOOP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Starting from the advantages of using Feature-Oriented Programming (FOP) and program families to support software evolution, this paper discusses the drawbacks of current...
144
Voted
OOPSLA
2004
Springer
16 years 13 days ago
2004
Springer
earch abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming lang...
225
click to vote
PADL
2004
Springer
16 years 13 days ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...