BibSLEIGH — Mario_Pereira

BibSLEIGH

BibSLEIGH corpus

BibSLEIGH tags

BibSLEIGH bundles

BibSLEIGH people

EDIT!

CC-BY

Open Knowledge

XHTML 1.0 W3C Rec

CSS 2.1 W3C CanRec

email

Travelled to:

1 × South Korea

Collaborated with:

Talks about:

program (1) complex (1) deduct (1) check (1) arm (1)

Person: Mário Pereira

DBLP: Pereira:M=aacute=rio

Contributed to:

SAC 2014

2014

Wrote 1 papers:

SAC-2014-PereiraS #complexity #deduction #source code: Complexity checking of ARM programs, by deduction (MP, SMdS), pp. 1309–1314.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.