30 results on '"Minamide, Yasuhiko"'
Search Results
2. Context-Free Grammars with Lookahead
3. Program logic for higher-order probabilistic programs in Isabelle/HOL
4. Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata
5. Synchronized Recursive Timed Automata
6. Weighted Pushdown Systems with Indexed Weight Domains
7. Pushdown Systems with Stack Manipulation
8. Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing
9. XML Validation for Context-Free Grammars
10. Selective Tail Call Elimination
11. Executing Verified Compiler Specification
12. Runtime Behavior of Conversion Interpretation of Subtyping
13. Derivatives of Regular Expressions with Lookahead
14. Solving String Constraints with Streaming String Transducers
15. Weighted Pushdown Systems with Indexed Weight Domains
16. A Translation from the HTML DTD into a Regular Hedge Grammar
17. Complexity Results on Balanced Context-Free Languages
18. Verified Decision Procedures on Context-Free Grammars
19. Checking Time Linearity of Regular Expression Matching Based on Backtracking
20. Translating regular expression matching into transducers
21. Copy-on-write in the PHP language
22. Copy-on-write in the PHP language
23. Static approximation of dynamically generated Web pages
24. Verifying CPS transformations in Isabelle/HOL
25. Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation
26. On the runtime complexity of type-directed unboxing
27. On the runtime complexity of type-directed unboxing
28. A functional representation of data structures with a hole
29. Typed closure conversion
30. Sharing Analysis Based on Type Inference
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.