3926 search results - page 95 / 786 » A Logic of Object-Oriented Programs |
135
click to vote
ACE
2004
15 years 6 months ago
2004
This paper introduces PigWorld, a tool for teaching Java to novice programmers, via the objects-early style. Three design guidelines forobject-early assignments are discussed: (1)...
115
click to vote
LISA
2001
15 years 6 months ago
2001
Gossips is a modular client/server based system monitor. It uses distributed monitoring tasks to define and report states of an IT-environment. A monitoring task includes probes t...
169
click to vote
ORDER
2010
15 years 3 months ago
2010
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
153
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
125
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...