1
0
0
News
ETAPS 2007
www4.di.uminho.pt
Complexity Results on Balanced Context-Free Languages: Akihiko Tozawa (IBM
Research, Tokyo), Yasuhiko Minamide (Univ. of Tsukuba): An Effective Algorithm
for The Membership Problem for Extended Regular Expressions ...
APLAS : Asian Symposium on Programming Languages and Systems
www.wikicfp.com
APLAS : Asian Symposium on Programming Languages and Systems
LICS Newsletter 123
lics.siglog.org
Complutense University of Madrid, Spain) - Paqui Lucio (University of the Basque
Country, Spain) - Yasuhiko Minamide (University of Tsukuba, Japan) - Frank
Pfenning (Carnegie Mellon University, USA) - Francois Pottier (INRIA, ...
Telephone & Addresses
Yasuhiko Minamide, Pittsburgh, US, Wightman St
View Yasuhiko's social profiles and photos on Facebook, MySpace, and +40 Networks.
Network Profiles
gist:58e7a9102e0cebabd2c2 · GitHub
gist.github.com
GitHub Gist: instantly share code, notes, and snippets.
BibSLEIGH — Yasuhiko_Minamide
bibtex.github.io
languag (2) convers (2) complex (2) weight (2) runtim (2) type (2) html (2) represent (1) interpret (1) translat (1). Person: Yasuhiko Minamide. DBLP: Minamide: ...
Yasuhiko Minamide | Semantic Scholar
www.semanticscholar.org
Semantic Scholar profile for Yasuhiko Minamide, with 54 highly influential citations.
論文検索アンテナ Yasuhiko Minamideで著者名検索結果
air.neet-system.com
Yasuhiko Minamideで著者名検索結果. Minamide Yasuhiko ID: この著者IDで登録されている論文一覧を見る CiNiiでみる. 出版年月日：: 1993,; 所属 ...
Business Profiles
Researchgate: Yasuhiko Minamide
Tsukuba, Japan
Private Homepages
haskell - Why does concatenation of lists take O(n)? - Stack Overflow
stackoverflow.com
Why does concatenation of lists take O(n)? ... Yasuhiko Minamide's data structures with holes seem somewhat similar in spirit to Huet's zippers (JFP 97), ...
Books & Literature
PeopleExplorer: An Integrated Interactive Exploratory People Search...
crystal.exp.sis.pitt.edu
Name: Yasuhiko Minamide. Affiliation history : Tsukuba : Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide Copy-on-write in ...
Certified Programs and Proofs: First International Conference, CPP...
books.google.hu
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in...
Implementation of Functional Languages: 13th International Workshop,...
books.google.hu
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, held...
Automated Technology for Verification and Analysis: 11th...
books.google.ca
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at...
Related Documents
Yasuhiko Minamide - researchr alias
researchr.org
Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility TestingYasuhiko Minamide, Shunsuke Mori. fm 2012: [doi].
[ ] Weighted Pushdown Systems with Indexed Weight Domains
arxiv.org
Mar 25, · Title: Weighted Pushdown Systems with Indexed Weight Domains From: Yasuhiko Minamide Fri, 25 Mar :50:25 GMT (28kb,D) [v2] Mon,
CiteSeerX — A Functional Representation of Data Structures with a Hole
citeseerx.ist.psu.edu
BibTeX. @INPROCEEDINGS{Research98afunctional, author = {Yasuhiko Minamide Research and Yasuhiko Minamide}, title = {A Functional Representation of ...
EPTCS 61: Automated Specification and Verification of Web Systems
arxiv.org
Yasuhiko Minamide, (University of Tsukuba, Japan). Rosario Pugliese, (University of Florence, Italy). I.V. Ramakrishnan, (State University of ...
Scientific Publications
dblp: Yasuhiko Minamide
dblp.uni-trier.de
List of computer science publications by Yasuhiko Minamide
CiteSeerX — Citation Query Equality between functionals
citeseer.ist.psu.edu
CiteSeerX - Scientific documents that cite the following paper: Equality between functionals
Search results for "Akihiko Tozawa" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Akihiko Tozawa" ... Tamiya Onodera, Yasuhiko Minamide: Copy-on-write in the PHP language. POPL : 2009: DBLP DOI BibTeX RDF: php, graph rewriting: 1:
dblp: 10. SAS 2003: San Diego, California, USA
dblp.uni-trier.de
Bibliographic content of 10. SAS 2003: San Diego, California, USA
Publications
Selective Tail Call Elimination - CORE
core.ac.uk
By Yasuhiko Minamide. Abstract. Tail calls are expected not to consume stack space in most functional languages. However, there is no support for tail calls in some ...
A Translation from the HTML DTD into a Regular Hedge Grammar |...
link.springer.com
The PHP string analyzer developed by the second author approximates the string output of a program with a context-free grammar. By developing a procedure to...
An Evaluation of Automata Algorithms for String Analysis - Microsoft
www.microsoft.com
Yasuhiko Minamide. Static approximation of dynamically generated web pages.
In WWW '05, pages 432–441, Gertjan Van Noord and Dale Gerdemann
. Finite state transducers with predicates and identities. Grammars, 4:2001,
Weighted Pushdown Systems with Indexed Weight Domains | SpringerLink
link.springer.com
The reachability analysis of weighted pushdown systems is a very powerful technique in verification and analysis of recursive programs. Each transition rule of...
Reports & Statements
Re: [whatwg] Question on Limits in Adaption Agency Algorithm -...
markmail.org
Yasuhiko Minamide, Nov 2, :49 pm ... Yasuhiko Minamide, Nov 4, :02 pm ... Yasuhiko Minamide, Aug 1, :31 pm.
[whatwg] Question on Limits in Adaption Agency Algorithm
www.mail-archive.com
Yasuhiko Minamide Fri, 02 Nov :50: This is about Adaption Agency Algorithm in The "in body" insertion mode.
Schloss Dagstuhl : Participant List
www.dagstuhl.de
... Matt Might (University of Utah, US); Yasuhiko Minamide (University of Tsukuba, JP); Anders Møller (Aarhus University, DK); Joe Gibbs Politz (Brown University, ...
Miscellaneous
WO A1 - Formal analysis of the quality and conformance of...
patents.google.com
Mechanisms for evaluating downgrader code in application code with regard to one or more security guidelines are provided. Downgrader code in application...
TDGS - "Yasuhiko Minamide"
juliette.lsi.us.es
"Yasuhiko Minamide" ... Weighted Pushdown Systems with Indexed Weight Domains · Yasuhiko Minamide · TACASFetch | Report | Google.
'Yasuhiko Minamide ' posts
marc.info
Viewing messages posted by 'Yasuhiko Minamide <minamide () cs ! tsukuba ! ac ! jp>' (4 msg) [4] [whatwg] Question on Limits in Adaption ...
Course Calendar
www.cse.psu.edu
Below is the calendar for this semester course. This is the preliminary schedule, ... Yasuhiko Minamide. Static approximation of dynamically generated web pages.
Fox Project Publications
www.cs.cmu.edu
Fox Project Publications. General overviews Typed Closure Conversion, Yasuhiko Minamide, Greg Morrisett, and Robert Harper. Abstract CMU-CS POPL '96.
Accepted Papers
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
CS 290C Home Page
sites.cs.ucsb.edu
Michael I. Schwartzbach: Precise Analysis of String Expressions. SAS 2003: ; Yasuhiko Minamide: Static approximation of dynamically generated Web pages.
WWW 2005: ; Gary Wassermann, Zhendong Su: Sound and precise
analysis ...
Compiling Functional Languages
www.cse.chalmers.se
Peyton Jones. ICFP, Nico. Typed closure conversion. Yasuhiko Minamide,
Greg Morrisett and Robert Harper. POPL, A Type-Preserving Closure
Conversion in Haskell. Louis-Julien Guillemette Stefan Monnier. Haskell
workshop,
Research Papers
www.cs.cmu.edu
Research Papers. These are most of my research papers, grouped by rough subject classifications Yasuhiko Minamide, Greg Morrisett, and Robert Harper.
– HTML parser is non-conforming for particular + ...
bugzilla.mozilla.org
... I didn't find this case myself; Yasuhiko Minamide and Shunsuke Mori report it in their paper, "Reachability Analysis of the HTML5 Parser ...
IMG_0194
lfmtp.org
lfmtp.org/workshops/merlin03/pics-Pages/Image5.html<--Previous Up Next--> IMG_0194 Yasuhiko Minamide.
AFP: diff thys/Depth-First-Search/DFS.thy
cl2-informatik.uibk.ac.at
... Title: Depth-First Search Author: Toshiaki Nishihara and Yasuhiko Minamide Maintainer: Yasuhiko Minamide <minamide at cs.tsukuba.ac.jp> 1.7 +(* ...
Depth First Search - Archive of Formal Proofs
www.isa-afp.org
Title: Depth First Search. Author: Toshiaki Nishihara and Yasuhiko Minamide. Submission date: Abstract: Depth-first search of a graph is formalized ...
Monoid-Based Approach to the Inclusion Problem on Superdeterministic...
www.springerprofessional.de
We present a new and simple decidability proof for the language inclusion problem between context-free languages and languages accepted by
POPL 09 Schedule
cseweb.ucsd.edu
Language Akihiko Tozawa, IBM Tokyo Research Lab Michiaki Tatsubori, IBM
Tokyo Research Lab Tamiya Onodera, IBM Tokyo Research Lab Yasuhiko Minamide, Tsukuba University Feedback-Directed Barrier Optimization in a
Strongly Isolated STM
Program - DLT 2016
dlt2016.lacim.uqam.ca
superdeterministic pushdown automata, by Yuya Uezato and Yasuhiko Minamide. 12:00-12:30, Context-free ambiguity detection using multi-stack
pushdown automata, by H.J.S. Basten. 12:30-14:30, Lunch. 14:30-15:00,
Deciding equivalence of linear ...
Programme Committee
curation.cs.manchester.ac.uk
The Alan Turing Centenary Conference will be held in Manchester UK on June , 2012, hosted by The University of Manchester, where Turing worked in...
FM2012-CNAM
fm2012.cnam.fr
Maria Christakis, Peter Müller and Valentin Wüstholz Collaborative Verification and Testing with Explicit Assumptions. Yasuhiko Minamide and Shunsuke Mori.
Related search requests for Yasuhiko Minamide
| Chihiro Kaneko Tamiya Onodera Kazuhiro Inaba | Koji Okuma Yuto Sakuma Shunsuke Mori | Greg Morrisett Frank Pfenning Francois Pottier |
People Forename "Yasuhiko" (475) Name "Minamide" (14) |
sorted by relevance / date