Sciweavers

797 search results - page 160 / 160
» MODULA-2 and Its Compilation
Sort
View
CORR
2004
Springer
176views Education» more  CORR 2004»
13 years 6 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
CG
2005
Springer
13 years 6 months ago
Interpretive OpenGL for computer graphics
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...
Bo Chen, Harry H. Cheng