|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin |
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts.  |
FLOPS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata |
Resumption-based big-step and small-step interpreters for While with interactive I/O |
DSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park |
A syntactic type system for recursive modules. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Tarmo Uustalu, Marc Bezem |
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Tarmo Uustalu |
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction |
SOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Andrei Sabelfeld |
Securing Class Initialization. |
IFIPTM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Tarmo Uustalu |
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Masahito Hasegawa |
Small-step and big-step semantics for call-by-need |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Keiko Nakata |
Lazy mixin modules and disciplined effects |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Keiko Nakata, Masahito Hasegawa |
Small-step and big-step semantics for call-by-need. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Tarmo Uustalu |
Trace-Based Coinductive Operational Semantics for While. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Jacques Garrigue |
Recursive modules for programming. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
applicative functors, the expression problem, type systems, type inference, recursive modules |
| 1 | Toru Ishida, Yutaka Sasaki, Keiko Nakata, Yoshimi Fukuhara |
A Meta-Level Control Architecture for Production Systems. |
IEEE Trans. Knowl. Data Eng. |
1995 |
DBLP DOI BibTeX RDF |
meta-level control, Expert system, problem solving, production system, production rule |
| 1 | Yutaka Sasaki, Keiko Nakata, Toru Ishida, Yoshimi Fukuhara |
Advantages of Meta-Level Control Architectures in Maintaining Rule-Based Systems. |
ICTAI |
1993 |
DBLP BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")