Yasuhiko Minamide

According to our database, Yasuhiko Minamide authored at least 32 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Program logic for higher-order probabilistic programs in Isabelle/HOL.

Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato

Sci. Comput. Program., August, 2023

Derivatives of Context-free Grammars with Lookahead.

Takayuki Miyazaki, Yasuhiko Minamide

J. Inf. Process., 2023

S-Finite Measure Monad on Quasi-Borel Spaces.

Michikazu Hirata, Yasuhiko Minamide

Arch. Formal Proofs, 2023

Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL.

Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Quasi-Borel Spaces.

Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato

Arch. Formal Proofs, 2022

2021

Context-Free Grammars with Lookahead.

Takayuki Miyazaki, Yasuhiko Minamide

Proceedings of the Language and Automata Theory and Applications, 2021

2019

Solving String Constraints with Streaming String Transducers.

Qizhen Zhu, Hitoshi Akama, Yasuhiko Minamide

J. Inf. Process., 2019

Derivatives of Regular Expressions with Lookahead.

Takayuki Miyazaki, Yasuhiko Minamide

J. Inf. Process., 2019

2016

Weighted Pushdown Systems with Indexed Weight Domains.

Yasuhiko Minamide

Log. Methods Comput. Sci., 2016

Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata.

Yuya Uezato, Yasuhiko Minamide

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

Synchronized Recursive Timed Automata.

Yuya Uezato, Yasuhiko Minamide

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2013

Pushdown Systems with Stack Manipulation.

Yuya Uezato, Yasuhiko Minamide

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Translating regular expression matching into transducers.

Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov

J. Appl. Log., 2012

Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing.

Yasuhiko Minamide, Shunsuke Mori

Proceedings of the FM 2012: Formal Methods, 2012

2009

Copy-on-write in the PHP language.

Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

A Translation from the HTML DTD into a Regular Hedge Grammar.

Takuya Nishiyama, Yasuhiko Minamide

Proceedings of the Implementation and Applications of Automata, 2008

2007

Verified Decision Procedures on Context-Free Grammars.

Yasuhiko Minamide

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

Complexity Results on Balanced Context-Free Languages.

Akihiko Tozawa, Yasuhiko Minamide

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2006

XML Validation for Context-Free Grammars.

Yasuhiko Minamide, Akihiko Tozawa

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Static approximation of dynamically generated Web pages.

Yasuhiko Minamide

Proceedings of the 14th international conference on World Wide Web, 2005

2004

Depth First Search.

Toshiaki Nishihara, Yasuhiko Minamide

Arch. Formal Proofs, 2004

2003

Selective Tail Call Elimination.

Yasuhiko Minamide

Proceedings of the Static Analysis, 10th International Symposium, 2003

Verifying CPS transformations in Isabelle/HOL.

Yasuhiko Minamide, Koji Okuma

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Executing Verified Compiler Specification.

Koji Okuma, Yasuhiko Minamide

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2001

Runtime Behavior of Conversion Interpretation of Subtyping.

Yasuhiko Minamide

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

Verifying the CPS Transformation in Isabelle/HOL.

Yasuhiko Minamide, Koji Okuma

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

A New Criterion for Safe Program Transformations.

Yasuhiko Minamide

Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics, 2000

1999

Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation.

Yasuhiko Minamide

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

1998

A Functional Representation of Data Structures with a Hole.

Yasuhiko Minamide

Proceedings of the POPL '98, 1998

On the Runtime Complexity of Type-Directed Unboxing.

Yasuhiko Minamide, Jacques Garrigue

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1996

Typed Closure Conversion.

Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1994

Sharing Analysis Based on Type Interface.

Yasuhiko Minamide

Formal Aspects Comput., 1994