10870 search results - page 422 / 2174 » Model Checking Programs |
165
click to vote
PADL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
175
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
Inheritance is an important mechanism when developing object-oriented programs with class-based programming languages: it enables subtyping, polymorphism, and code reuse. Inherita...
186
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
297
click to vote
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
