Search Sciweavers | Sciweavers

3311 search results - page 26 / 663

» Deductive Object Programming

click to vote

CADE
2001
Springer

157views Logical Reasoning» more CADE 2001»

Termination and Reduction Checking for Higher-Order Logic Programs

14 years 8 months ago

Download www.cs.mcgill.ca

In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...

Brigitte Pientka

claim paper

Read More »

click to vote

TOOLS
2011
IEEE

251views Programming Languages» more TOOLS 2011»

Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming

13 years 5 days ago

Download przybylek.wzr.pl

Adam Przybylek

claim paper

Read More »

click to vote

ECOOP
1999
Springer

74views Programming Languages» more ECOOP 1999»

Object-Oriented Programming: Regaining the Excitement

14 years 23 days ago

Download web.cecs.pdx.edu

Andrew P. Black

claim paper

Read More »

click to vote

ICFP
1998
ACM

98views Programming Languages» more ICFP 1998»

Modular Object-Oriented Programming with Units and Mixins

14 years 22 days ago

Download www.ccs.neu.edu

Robert Bruce Findler, Matthew Flatt

claim paper

Read More »

click to vote

SIGADA
1998
Springer

112views Programming Languages» more SIGADA 1998»

Object-Oriented and Concurrent Program Design Issues in Ada 95

14 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers