Sciweavers

30 search results - page 1 / 6

» jlp 2006

9

JLP
2000

77views more JLP 2000»

Abstract Domains for Reordering CLP(RLin) Programs

13 years 4 months ago

Abstract Domains for Reordering CLP(RLin) Programs

Download www.dsi.unive.it

Viswanath Ramachandran, Pascal Van Hentenryck, Ago...

claim paper

Read More »

8

JLP
1998

47views more JLP 1998»

A New Term Representation Method for Prolog

13 years 4 months ago

A New Term Representation Method for Prolog

Download ds.lib.kyutech.ac.jp

Xining Li

claim paper

Read More »

8

JLP
2006

63views more JLP 2006»

Constructor-based observational logic

13 years 4 months ago

Constructor-based observational logic

Download www.lsv.ens-cachan.fr

Michel Bidoit, Rolf Hennicker

claim paper

Read More »

9

JLP
2006

65views more JLP 2006»

Syntax and consistent equation semantics of hybrid Chi

13 years 4 months ago

Syntax and consistent equation semantics of hybrid Chi

Download www.mate.tue.nl

D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E...

claim paper

Read More »

12

JLP
2002

57views more JLP 2002»

Program algebra with unit instruction operators

13 years 4 months ago

Program algebra with unit instruction operators

Download staff.science.uva.nl

In the setting of program algebra (PGA), a projection from PGAu, i.e., PGA extended with a unit instruction operator, into PGA is defined. This is done via a composition that empl...

Alban Ponse

claim paper

Read More »

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