Suchergebnisse - SUMII, Eijiro

1

Environmental Bisimulations for Higher-Order Languages von SANGIORGI, Davide, KOBAYASHI, Naoki, SUMII, Eijiro

Veröffentlicht in ACM transactions on programming languages and systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name von Mizuno, Masayuki, Sumii, Eijiro

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Sound Bisimulations for Higher-Order Distributed Process Calculus von Piérard, Adrien, Sumii, Eijiro

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

A bisimulation for type abstraction and recursion von SUMII, Eijiro, PIERCE, Benjamin C

Veröffentlicht in Journal of the ACM

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

A Simple and Practical Linear Algebra Library Interface with Static Size Checking von Abe, Akinori, Sumii, Eijiro

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

The Higher-Order, Call-by-Value Applied Pi-Calculus von Sato, Nobuyuki, Sumii, Eijiro

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Recipients' Introduction to Research Awarded at the 37th JSSST Annual Conference von SUMII, Eijiro

Veröffentlicht in Computer Software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Report on the 37th JSSST Annual Conference von SUMII, Eijiro

Veröffentlicht in Computer Software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Specialization of Generic Array Accesses After Inlining von Tokuda, Ryohei, Sumii, Eijiro, Abe, Akinori

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

A bisimulation-like proof method for contextual properties in untyped λ -calculus with references and deallocation von Sumii, Eijiro

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

A bisimulation-like proof method for contextual properties in untyped I' -calculus with references and deallocation von Sumii, Eijiro

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Preface for special section from FLOPS 2014 von CODISH, MICHAEL, SUMII, EIJIRO

Veröffentlicht in Journal of functional programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Static Verificatioin of Dynamic Confidentiality by Environmental Bisimulation von Sumii, Eijiro

Veröffentlicht in Report of Grant-Supported Research The Asahi Glass Foundation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

A bisimulation-like proof method for contextual properties in untyped λ-calculus with references and deallocation: European Symposium on Programming (ESOP 2009) von SUMII, Eijiro

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References von Sumii, Eijiro

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings von Codish, Michael, Sumii, Eijiro

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

無限の入出力を行う関数型プログラムの K正規化の形式的検証 von 水野, 雅之, 住井, 英二郎

Veröffentlicht in Konpyuta Sofutowea

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

PrologCheck – Property-Based Testing in Prolog von Amaral, Cláudio, Florido, Mário, Santos Costa, Vítor

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion von Mizuno, Masayuki, Sumii, Eijiro

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

From Applicative to Environmental Bisimulation von Koutavas, Vasileios, Levy, Paul Blain, Sumii, Eijiro

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Environmental Bisimulations for Higher-Order Languages von SANGIORGI, Davide, KOBAYASHI, Naoki, SUMII, Eijiro

Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name von Mizuno, Masayuki, Sumii, Eijiro

Sound Bisimulations for Higher-Order Distributed Process Calculus von Piérard, Adrien, Sumii, Eijiro

A bisimulation for type abstraction and recursion von SUMII, Eijiro, PIERCE, Benjamin C

A Simple and Practical Linear Algebra Library Interface with Static Size Checking von Abe, Akinori, Sumii, Eijiro

The Higher-Order, Call-by-Value Applied Pi-Calculus von Sato, Nobuyuki, Sumii, Eijiro

Recipients' Introduction to Research Awarded at the 37th JSSST Annual Conference von SUMII, Eijiro

Report on the 37th JSSST Annual Conference von SUMII, Eijiro

Specialization of Generic Array Accesses After Inlining von Tokuda, Ryohei, Sumii, Eijiro, Abe, Akinori

A bisimulation-like proof method for contextual properties in untyped λ -calculus with references and deallocation von Sumii, Eijiro

A bisimulation-like proof method for contextual properties in untyped I' -calculus with references and deallocation von Sumii, Eijiro

Preface for special section from FLOPS 2014 von CODISH, MICHAEL, SUMII, EIJIRO

Static Verificatioin of Dynamic Confidentiality by Environmental Bisimulation von Sumii, Eijiro

A bisimulation-like proof method for contextual properties in untyped λ-calculus with references and deallocation: European Symposium on Programming (ESOP 2009) von SUMII, Eijiro

A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References von Sumii, Eijiro

Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings von Codish, Michael, Sumii, Eijiro

無限の入出力を行う関数型プログラムの K正規化の形式的検証 von 水野, 雅之, 住井, 英二郎

PrologCheck – Property-Based Testing in Prolog von Amaral, Cláudio, Florido, Mário, Santos Costa, Vítor

Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion von Mizuno, Masayuki, Sumii, Eijiro

From Applicative to Environmental Bisimulation von Koutavas, Vasileios, Levy, Paul Blain, Sumii, Eijiro

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle