Search Sciweavers | Sciweavers

3311 search results - page 81 / 663

» Deductive Object Programming

112

click to vote

DBA
2006

173views Database» more DBA 2006»

Object-Oriented Programming with Recursive Queries

15 years 1 months ago

Download www.si.pjwstk.edu.pl

: Recursive queries are required in many object-oriented database applications. Among them we can mention Bill-Of-Material (BOM), stock market dependencies, various kinds of networ...

Tomasz Pieciukiewicz, Krzysztof Stencel, Kazimierz...

claim paper

Read More »

click to vote

COOTS
2001

151views Programming Languages» more COOTS 2001»

The Design and Performance of Meta-Programming Mechanisms for Object Request Broker Middleware

15 years 1 months ago

Download www.cs.wustl.edu

Nanbor Wang, Kirthika Parameswaran, Douglas C. Sch...

claim paper

Read More »

117

click to vote

FMOODS
2003

151views Formal Methods» more FMOODS 2003»

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

15 years 1 months ago

Download www.cs.uu.nl

This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...

Cees Pierik, Frank S. de Boer

claim paper

Read More »

click to vote

RIVF
2003

106views Internet Technology» more RIVF 2003»

Analysis of program based on Synchronous Active Objects

15 years 1 months ago