1023 search results - page 34 / 205 » A Formal Method for Program Slicing |
AGTIVE
1999
Springer
14 years 28 days ago
1999
Springer
Cpfg is a program for simulating and visualizing plant development, based on the theory of L−systems. A special−purpose programming language, used to specify plant models, is ...
FM
2006
Springer
14 years 9 days ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
FMICS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
TFM
2004
Springer
14 years 2 months ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
SBCCI
2004
ACM
14 years 2 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...