Volume 29; Issue 3

Formal Aspects of Computing

Volume 29; Issue 3

1

Optimizing sorting algorithms by using sorting networks

Codish, Michael, Cruz-Filipe, Luís, Nebel, Markus, Schneider-Kamp, Peter

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

2

Proof checking and logic programming

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 648 KB

english, 2017

3

A program analysis framework fortccpbased on abstract interpretation

Comini, Marco, Gallardo, María-del-Mar, Titolo, Laura, Villanueva, Alicia

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 925 KB

english, 2017

4

Operational semantics of resolution and productivity in Horn clause logic

Peng Fu,Ekaterina Komendantskaya

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 629 KB

english, 2017

5

Editorial

Moreno Falaschi,Augusto Sampaio

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 297 KB

english, 2017

6

Assumption propagation through annotated programs

Dipak L. Chaudhari,Om Damani

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.21 MB

english, 2017

7

Transforming Boolean equalities into constraints

Sergio Antoy,Michael Hanus

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 698 KB

english, 2017

8

On dual programs in co-logic programming and the Horn\({\mu}\)-calculus

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 651 KB

english, 2017

9

Equational formulas and pattern operations in initial order-sorted algebras

José Meseguer,Stephen Skeirik

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017