Sciweavers

2736 search results - page 236 / 548
» Understanding programmer language
Sort
View

Book
411views
17 years 4 months ago
Concrete Abstractions
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
Max Hailperin, Barbara Kaiser, and Karl Knight
WWW
2003
ACM
16 years 7 months ago
XQuery By Example
XQuery, the standard query language for XML, is gaining popularity among users with a SQL background; indeed, formulating XQuery and SQL queries requires comparable skills. Howeve...
Daniele Braga, Alessandro Campi, Stefano Ceri, Enr...
PLDI
2010
ACM
16 years 4 months ago
Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
Viktor Kuncak, Mika l Mayer, Ruzica Piskac, Philip...
ESOP
2010
Springer
16 years 3 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
IPSN
2010
Springer
16 years 1 months ago
Programming storage-centric sensor networks with Squirrel
We present SQUIRREL, a stream-oriented programming framework for storage-centric sensor networks. The storagecentric paradigm—where storage operations prevail over communication...
Luca Mottola