Sciweavers

173 search results - page 20 / 35
» Programming with Crosscutting Effective Views
Sort
View
108
Voted
FOAL
2007
ACM
15 years 6 months ago
On the relation of aspects and monads
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
Christian Hofer, Klaus Ostermann
113
Voted
SP
2000
IEEE
15 years 6 months ago
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
John A. Clark, Jeremy L. Jacob
294
Voted

Book
9504views
17 years 17 days ago
The OpenGL Programming Guide - The Redbook
"The OpenGL Programming Guide, Fifth Edition, provides definitive and comprehensive information on OpenGL and the OpenGL Utility Library. The previous edition covered OpenGL t...
Dave Shreiner, Mason Woo, Jackie Neider, Tom Davis
135
Voted
VL
1996
IEEE
120views Visual Languages» more  VL 1996»
15 years 7 months ago
Visual Language Features Supporting Human-Human and Human-Computer Communication
Fundamental to the design of visual languages are the goals of facilitating communication between people and computers, and between people and other people. The Object Block Progr...
Jason E. Robbins, David J. Morley, David F. Redmil...
124
Voted
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
15 years 11 months ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein