Sciweavers

10585 search results - page 322 / 2117
» The Orc Programming Language
Sort
View
111
Voted
LPNMR
2009
Springer
15 years 9 months ago
Splitting a CR-Prolog Program
CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is
Marcello Balduccini
120
Voted
PTS
2008
109views Hardware» more  PTS 2008»
15 years 4 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
119
Voted
ICS
1998
Tsinghua U.
15 years 6 months ago
High-level Management of Communication Schedules in HPF-like Languages
The goal of High Performance Fortran (HPF) is to "address the problems of writing data parallel programs where the distribution of data affects performance", providing t...
Siegfried Benkner, Piyush Mehrotra, John Van Rosen...
139
Voted
DATESO
2009
101views Database» more  DATESO 2009»
15 years 13 days ago
Using Top Trees For Easy Programming of Tree Algorithms
Top trees are a dynamic self-adjusting data structure that can be used by any tree algorithm. Actually, an arbitrary number of different tree algorithms can use a single structure....
Michal Vajbar
270
Voted

Lab
737views
17 years 2 months ago
Resource Aware Programming (RAP)
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...