|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 67 | Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux |
Quasi-interpretation Synthesis by Decomposition.  |
ICTAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 38 | Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen |
Quasi-interpretations and Small Space Bounds. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
| 27 | Jean-Yves Marion, Romain Péchoux |
Sup-interpretations, a semantic method for static analysis of program resources. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
static analysis of first-order languages, Resources control |
| 23 | Jean-Yves Marion, Romain Péchoux |
Characterizations of polynomial complexity classes with a better intensionality. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
quasi-interpretation, resource upper bounds, sup-interpretation, static analysis |
| 21 | Phan Minh Dung, Kanchana Kanchanasut |
A Natural Semantics for Logic Programs with Negation. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
|
| 10 | Roberto M. Amadio, Silvano Dal-Zilio |
Resource Control for Synchronous Cooperative Threads. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 10 | Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen |
On Lexicographic Termination Ordering with Space Bound Certifications. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 10 | Jean-Yves Marion, Jean-Yves Moyen |
Efficient First Order Functional Program Interpreter with Time Bound Certifications. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license