Sciweavers

4386 search results - page 58 / 878
» A Tamper-Resistant Programming Language System
Sort
View
ICALP
2009
Springer
14 years 10 months ago
On Constructor Rewrite Systems and the Lambda-Calculus
Ugo Dal Lago, Simone Martini
ACMSE
2005
ACM
14 years 3 months ago
BoxScript: a component-oriented language for teaching
As component-oriented approaches become increasingly pervasive in the development of complex software systems, it becomes increasingly important to introduce computing science stu...
Yi Liu, H. Conrad Cunningham
IFIP
2004
Springer
14 years 3 months ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...
CORR
2010
Springer
126views Education» more  CORR 2010»
13 years 10 months ago
Extending scientific computing system with structural quantum programming capabilities
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
P. Gawron, Jerzy Klamka, J. A. Miszczak, Ryszard W...
SE
2008
13 years 11 months ago
Monaco: A DSL Approach for Programming Automation Systems
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...
Herbert Prähofer, Dominik Hurnaus, Roland Sch...