Sciweavers

30 search results - page 1 / 6

» jlp 2006

73

Voted

JLP
2000

77views more JLP 2000»

Abstract Domains for Reordering CLP(RLin) Programs

14 years 10 months ago

Abstract Domains for Reordering CLP(RLin) Programs

Download www.dsi.unive.it

Viswanath Ramachandran, Pascal Van Hentenryck, Ago...

claim paper

Read More »

48

JLP
1998

47views more JLP 1998»

A New Term Representation Method for Prolog

14 years 10 months ago

A New Term Representation Method for Prolog

Download ds.lib.kyutech.ac.jp

Xining Li

claim paper

Read More »

79

JLP
2006

63views more JLP 2006»

Constructor-based observational logic

14 years 10 months ago

Constructor-based observational logic

Download www.lsv.ens-cachan.fr

Michel Bidoit, Rolf Hennicker

claim paper

Read More »

60

JLP
2006

65views more JLP 2006»

Syntax and consistent equation semantics of hybrid Chi

14 years 10 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 »

66

JLP
2002

57views more JLP 2002»

Program algebra with unit instruction operators

14 years 10 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 »