Sciweavers

2625 search results - page 91 / 525
» The development of the Emerald programming language
Sort
View
ECOOP
2004
Springer
15 years 1 months ago
Reflections on Programming with Grid Toolkits
Abstract. Grid applications are fragile when changes to service implementations, non-functional properties or communication protocols take place. Moreover, developing Grid applicat...
Emiliano Tramontana, Ian Welch
ENTCS
2007
104views more  ENTCS 2007»
14 years 9 months ago
An Algebra of Pure Quantum Programming
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
Thorsten Altenkirch, Jonathan Grattage, Juliana Ka...
PLDI
2012
ACM
13 years 9 days ago
Test-case reduction for C compiler bugs
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Ch...
MM
1997
ACM
102views Multimedia» more  MM 1997»
15 years 2 months ago
Flavor: A Language for Media Representation
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
Alexandros Eleftheriadis
WOA
2000
14 years 11 months ago
HEMASL: A Flexible Language to Specify Heterogeneous Agents
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...
Simone Marini, Maurizio Martelli, Viviana Mascardi...