1023 search results - page 88 / 205 » A Formal Method for Program Slicing |
114
click to vote
ECOOP
2012
Springer
13 years 4 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
122
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
167
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
110
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
117
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...