Sciweavers

10575 search results - page 372 / 2115
» T2Script Programming Language
Sort
View
ESOP
2001
Springer
15 years 9 months ago
Secure Information Flow and CPS
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
Steve Zdancewic, Andrew C. Myers
CHI
2005
ACM
16 years 5 months ago
Blind learners programming through audio
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...
Jaime Sánchez, Fernando Aguayo
PLDI
2009
ACM
15 years 11 months ago
Programming model for a heterogeneous x86 platform
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented c...
Bratin Saha, Xiaocheng Zhou, Hu Chen, Ying Gao, Sh...
149
Voted
CLIMA
2004
15 years 6 months ago
From Logic Programs Updates to Action Description Updates
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
José Júlio Alferes, Federico Banti, ...
ICLP
2007
Springer
15 years 11 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...