Sciweavers

8 search results - page 1 / 2

» scp 2002

10

SCP
2002

68views more SCP 2002»

Formal methods in practice

13 years 4 months ago

Formal methods in practice

Download www.win.tue.nl

Wolfgang Polak

claim paper

Read More »

15

SCP
2002

75views more SCP 2002»

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

13 years 4 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 »

13

SCP
2002

59views more SCP 2002»

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

13 years 4 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 »

10

SCP
2002

52views more SCP 2002»

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

13 years 4 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 »

17

SCP
2002

119views more SCP 2002»

Polymorphic subtyping in O'Haskell

13 years 4 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 »