Sciweavers

10622 search results - page 391 / 2125
» Python Programming Language
Sort
View
273
Voted

Book
524views
17 years 2 months ago
Programming The Nintendo Game Boy Advance: The Unofficial Guide
All you need to know about the Nintendo game development. You will need to be a proficient in the C Language in order to follow this book.
Jonathan S. Harbour
PLDI
2009
ACM
16 years 5 months ago
Program verification using templates over predicate abstraction
dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond
Saurabh Srivastava, Sumit Gulwani
OOPSLA
2009
Springer
15 years 11 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
ACSC
2006
IEEE
15 years 11 months ago
Programming with heterogeneous structures: manipulating XML data using bondi
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
F. Y. Huang, C. B. Jay, David B. Skillicorn
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 5 months ago
Model-Driven Constraint Programming
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
Raphaël Chenouard, Laurent Granvilliers, Rica...