796 search results - page 128 / 160 » The Semantics of Abstract Program Slicing |
164
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
126
click to vote
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
124
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...
126
click to vote
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
119
click to vote
DATESO
2006
15 years 4 months ago
2006
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...