7892 search results - page 19 / 1579 » Programming with Models |
196
Voted
PADL
2009
Springer
16 years 2 months ago
2009
Springer
112
Voted
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
113
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
93
Voted
KI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
131
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...