8109 search results - page 49 / 1622 » A Model of Component-Based Programming |
139
Voted
ICFP
2012
ACM
13 years 3 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...
124
Voted
PLDI
2012
ACM
13 years 3 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...
132
Voted
ILP
2001
Springer
15 years 5 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 ...
86
Voted
WSC
2008
15 years 3 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...
100
Voted
IJCAT
2008
15 years 1 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...