Sciweavers

2777 search results - page 24 / 556
» Example centric programming
Sort
View
COLCOM
2009
IEEE
14 years 2 months ago
Towards a framework for group-centric secure collaboration
—The concept of groups is a natural aspect of most collaboration scenarios. Group-Centric Secure Information Sharing models (g-SIS) have been recently proposed in which users and...
Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William...
VL
2000
IEEE
14 years 2 months ago
Learning and Reuse of a Visual Programming Language
Five science teachers were observed during two selfstudy sessions where they learned to use Visual AgenTalk (VAT). In the first session they learned basic skills; in the second, t...
Mary Beth Rosson, Cheryl D. Seals
CHI
2010
ACM
14 years 4 months ago
Example-centric programming: integrating web search into the development environment
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
Joel Brandt, Mira Dontcheva, Marcos Weskamp, Scott...
PARLE
1993
14 years 1 months ago
A Parallel Programming Style and Its Algebra of Programs
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
Chris Hankin, Daniel Le Métayer, David Sand...
POPL
2006
ACM
14 years 10 months ago
Why dependent types matter
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
James McKinna