Static analysis of Linear Logic programming

Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects of programming and computation. We focus here on models where computation is identified with proof search in the sequent system of Linear Lo...

Celý popis

Podrobná bibliografie

Vydáno v:	New generation computing Ročník 15; číslo 4; s. 449 - 481
Hlavní autoři:	Andreoli, Jean -Marc, Pareschi, Remo, Castagnetti, Tiziana
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Heidelberg Springer Nature B.V 01.01.1997
Témata:	Computation Logic programming Searching
ISSN:	0288-3635, 1882-7055
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!