Search Sciweavers | Sciweavers

1552 search results - page 20 / 311

» Concepts and Concept-Oriented Programming

135

click to vote

VL
1994
IEEE

159views Visual Languages» more VL 1994»

Concepts and Architecture of Vista - a Multiparadigm Programming Environment

15 years 9 months ago

Download www.schiffer.at

This paper describes Vista, a visual multiparadigm programming environment. We introduce the notion of processors and networks and discuss their application in the construction of...

Stefan Schiffer, Joachim Hans Fröhlich

claim paper

Read More »

181

click to vote

FMOODS
2003

151views Formal Methods» more FMOODS 2003»

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

15 years 7 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 »

116

click to vote

IAAI
1990

50views Artificial Intelligence» more IAAI 1990»

Putting Knowledge-Based Concepts to Work for Generic PLC Programming

15 years 6 months ago

Download www.aaai.org

Ian C. Campbell, Izrail Bukshteyn

claim paper