Search Sciweavers | Sciweavers

9626 search results - page 179 / 1926

» Invariant Based Programming

157

Voted

CORR
2008
Springer

101views Education» more CORR 2008»

An Approach to Programming Based on Concepts

15 years 6 months ago

Download conceptoriented.org

In this paper we describe a new approach to programming which generalizes object-oriented programming. It is based on using a new programming construct, called concept, which gener...

Alexandr A. Savinov

claim paper

Read More »

147

click to vote

KBSE
1999
IEEE

112views Software Engineering» more KBSE 1999»

An ML Editor Based on Proofs-As-Programs

15 years 10 months ago

Download ase.informatik.uni-essen.de

CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...

Jon Whittle, Alan Bundy, Richard J. Boulton, Helen...

claim paper

Read More »

118

click to vote

ICALP
2007
Springer

82views Programming Languages» more ICALP 2007»

Credentials-Based Authorization: Evaluation and Implementation

16 years 15 days ago

Download www.cs.cornell.edu

Fred B. Schneider

claim paper