Sciweavers

10575 search results - page 369 / 2115
» T2Script Programming Language
Sort
View
100
Voted
WSC
2004
15 years 6 months ago
A View From the Beginning: When Does a Description Become a Taxonomy
This paper describes the author's career leading up to the publication of his 1969 paper Digital Computer Simulation: Computer Programming Languages, how it influenced the pa...
Philip J. Kiviat
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
223
Voted
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