Sciweavers

10575 search results - page 390 / 2115
» T2Script Programming Language
Sort
View
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 10 months ago
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
Daniel Baudisch, Jens Brandt, Klaus Schneider
142
Voted
FPLE
1995
15 years 8 months ago
A Second Year Course on Data Structures Based on Functional Programming
In this paper, we make a proposal for a second year course on advanced programming, based on the functional paradigm. It assumes the existence of a first course on programming, al...
Manuel Núñez, Pedro Palao, Ricardo P...
CORR
2000
Springer
138views Education» more  CORR 2000»
15 years 4 months ago
Towards rule-based visual programming of generic visual systems
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
Berthold Hoffmann, Mark Minas
POPL
2010
ACM
16 years 2 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
156
Voted
XIMEP
2006
ACM
161views Database» more  XIMEP 2006»
15 years 11 months ago
Programming with XQuery
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
Donald D. Chamberlin, Michael J. Carey, Daniela Fl...