3926 search results - page 438 / 786 » A Logic of Object-Oriented Programs |
189
click to vote
IJOE
2007
15 years 6 months ago
2007
: The experience and content of a PLC course developed for distance learning (ODL) is presented. The course aims to introduce the student into the automation world of industrial pr...
168
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
151
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
189
click to vote
GPCE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
189
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...