Sciweavers

3516 search results - page 295 / 704
» Programming Languages: Application and Interpretation
Sort
View
WWW
2007
ACM
16 years 7 months ago
ActiveRDF: object-oriented semantic web programming
Object-oriented programming is the current mainstream programming paradigm but existing RDF APIs are mostly tripleoriented. Traditional techniques for bridging a similar gap betwe...
Eyal Oren, Renaud Delbru, Sebastian Gerke, Armin H...
HASKELL
2009
ACM
16 years 1 months ago
Push-pull functional reactive programming
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
Conal M. Elliott
UAI
2004
15 years 8 months ago
A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge
Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. ...
Carlos Iván Chesñevar, Guillermo Ric...
KBSE
2009
IEEE
16 years 1 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...
127
Voted
ESOP
2009
Springer
16 years 1 months ago
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
Caitlin Sadowski, Stephen N. Freund, Cormac Flanag...