Sciweavers

8 search results - page 1 / 2

» scp 2002

61

SCP
2002

68views more SCP 2002»

Formal methods in practice

14 years 10 months ago

Formal methods in practice

Download www.win.tue.nl

Wolfgang Polak

claim paper

Read More »

92

SCP
2002

75views more SCP 2002»

Formal methods: the very idea - Some thoughts about why they work when they work

14 years 10 months ago

Formal methods: the very idea - Some thoughts about why they work when they work

Download se.uwaterloo.ca

Daniel M. Berry

claim paper

Read More »

59

Voted

SCP
2002

59views more SCP 2002»

The universal resolving algorithm and its correctness: inverse computation in a functional language

14 years 10 months ago

The universal resolving algorithm and its correctness: inverse computation in a functional language

Download repository.readscheme.org

We present an algorithm for inverse computation in a

Sergei M. Abramov, Robert Glück

claim paper

Read More »

63

SCP
2002

52views more SCP 2002»

Component-based software architectures: a framework based on inheritance of behavior

14 years 10 months ago

Component-based software architectures: a framework based on inheritance of behavior

Download is.tm.tue.nl

Wil M. P. van der Aalst, Kees M. van Hee, Robert A...

claim paper

Read More »

84

Voted

SCP
2002

119views more SCP 2002»

Polymorphic subtyping in O'Haskell

14 years 10 months ago

Polymorphic subtyping in O'Haskell

Download staff.www.ltu.se

O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...

Johan Nordlander

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »