8109 search results - page 49 / 1622 » A Model of Component-Based Programming |
ICFP
2012
ACM
12 years 8 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
PLDI
2012
ACM
12 years 8 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
ILP
2001
Springer
14 years 10 months ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
WSC
2008
14 years 8 months ago
2008
Component based or building block based simulation model development is regularly mentioned as an interesting new development and a potential field of research. Most of the commer...
IJCAT
2008
14 years 6 months ago
2008
: Component-Based Software Development (CBSD) and Aspect-Oriented Software Development (AOSD) are solutions to support software evolution by decomposing a software system into conc...