796 search results - page 56 / 160 » The Semantics of Abstract Program Slicing |
131
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
249
click to vote
PADL
2011
Springer
14 years 8 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
140
click to vote
ATAL
2007
Springer
16 years 5 days ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
170
click to vote
CJ
2010
15 years 3 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
160
click to vote
EPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A theoretical model for agents interaction to study semantic heterogeneity is proposed. The context of this study is informational agents with knowledge bases that are he...