796 search results - page 35 / 160 » The Semantics of Abstract Program Slicing |
POPL
1997
ACM
13 years 11 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
OWLED
2007
13 years 9 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
ASM
2000
ASM
14 years 8 days ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
WSPI
2004
13 years 9 months ago
2004
Abstract. The traditional overlap between computer science and philosophy centres upon the issue of in what sense a computer may be said to think. A lesser known issue of potential...
WWW
2009
ACM
14 years 2 months ago
2009
ACM
The use of RDF data published on the Web for applications is still a cumbersome and resource-intensive task due to the limited software support and the lack of standard programmin...