967 search results - page 11 / 194 » Probabilistic Predicative Programming |
CORR
2000
Springer
13 years 7 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond
EMSOFT
2005
Springer
14 years 28 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
IFM
2009
Springer
14 years 2 months ago
2009
Springer
ASIAN
2004
Springer
14 years 24 days ago
2004
Springer
