Search results for "APLAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Naoki Kobayashi 0001	Useless Code Elimination and Programm Slicing for the Pi-Calculus.	APLAS	2003	DBLP DOI BibTeX RDF
1	D. V. Ravindra	Using Locality of Flow in Dataflow Analyses.	APLAS	2003	DBLP DOI BibTeX RDF
1	Jun Furuse	Extensional Polymorphism by Flow Graph Dispatching.	APLAS	2003	DBLP DOI BibTeX RDF
1	Guangyuan Li, Zhisong Tang	Translating a Continuous-Time Temporal Logic into Timed Automata.	APLAS	2003	DBLP DOI BibTeX RDF
1	Xiaoju Dong, Yuxi Fu	Observing Asymmetry and Mismatch.	APLAS	2003	DBLP DOI BibTeX RDF
1	Sunae Seo, Hongseok Yang, Kwangkeun Yi	Automatic Construction of Hoare Proofs from Abstract Interpretation Results.	APLAS	2003	DBLP DOI BibTeX RDF
1	Simon L. Peyton Jones, Ralf Lämmel	Scrap Your Boilerplate.	APLAS	2003	DBLP DOI BibTeX RDF
1	Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa	Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.	APLAS	2003	DBLP DOI BibTeX RDF
1	Kim Marriott, Peter J. Stuckey, Martin Sulzmann	Resource Usage Verification.	APLAS	2003	DBLP DOI BibTeX RDF
1	Wen-tsun Wu	On a Method of Global Optimization.	APLAS	2003	DBLP DOI BibTeX RDF
1	Tetsuo Ida, Mircea Marin, Hidekazu Takahashi	Constraint Functional Logic Programming for Origami Construction.	APLAS	2003	DBLP DOI BibTeX RDF
1	Fabio Gadducci	Term Graph Rewriting for the pi-Calculus.	APLAS	2003	DBLP DOI BibTeX RDF	process calculi, reduction semantics, Term graph rewriting
1	Atsushi Ohori (eds.)	Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings	APLAS	2003	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger	Model Checking: From Hardware to Software.	APLAS	2003	DBLP DOI BibTeX RDF
1	Hugh Anderson, Siau-Cheng Khoo	Affine-Based Size-Change Termination.	APLAS	2003	DBLP DOI BibTeX RDF
1	Magnus Carlsson, Johan Nordlander, Dick Kieburtz	The Semantic Layers of Timber.	APLAS	2003	DBLP DOI BibTeX RDF
1	Antoine Galland, Mathieu Baudet	Controlling and Optimizing the Usage of One Resource.	APLAS	2003	DBLP DOI BibTeX RDF
1	Dengping Zhu, Hongwei Xi	A Typeful and Tagless Representation for XML Documents.	APLAS	2003	DBLP DOI BibTeX RDF
1	Shin-Cheng Mu, Richard S. Bird	Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion.	APLAS	2003	DBLP DOI BibTeX RDF
1	Robert Glück, Masahiko Kawabe	A Program Inverter for a Functional Language with Equality and Constructors.	APLAS	2003	DBLP DOI BibTeX RDF
1	Vincent Simonet	Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver.	APLAS	2003	DBLP DOI BibTeX RDF
1	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem.	APLAS	2002	DBLP BibTeX RDF
1	Akihiko Takano, Shingo Nishioka, Osamu Imaichi, Yoshiki Niwa	Association Computation for Information Access.	APLAS	2002	DBLP BibTeX RDF
1	Koji Kagawa	Shrinkable Polymorphic Variants.	APLAS	2002	DBLP BibTeX RDF
1	Kwangkeun Yi, Hyunjun Eo	Static Extensionality Checking for Lambda-Definable Functions Over Lattices.	APLAS	2002	DBLP BibTeX RDF
1	Yuxi Fu	On Quasi-Open Bisimulation.	APLAS	2002	DBLP BibTeX RDF
1	Atsushi Ohori, Kiyoshi Yamatodani	An Interoperable Calculus for External Object Access.	APLAS	2002	DBLP BibTeX RDF
1	Oukseh Lee, Hongseok Yang, Kwangkeun Yi	Inserting Safe Memory Re-use Commands into ML-like Programs.	APLAS	2002	DBLP BibTeX RDF
1	Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi	Data Flow Analysis of Secure Information-Flow.	APLAS	2002	DBLP BibTeX RDF
1	Jan-Li Lin	Folds with Dependent Types.	APLAS	2002	DBLP BibTeX RDF
1	Naoki Kobayashi 0001, Keita Shirane	Type-Based Information Analysis for Low-Level Languages.	APLAS	2002	DBLP BibTeX RDF
1	Hideya Iwasaki	Pruning Unnecessary Computations using Improving Sequences.	APLAS	2002	DBLP BibTeX RDF
1	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Extending Sized Type with Collection Analysis.	APLAS	2002	DBLP BibTeX RDF
1	Javier Esparza Peidro, Antonio Calero Monteagudo, Jordi Bataller, Francesc D. Muñoz-Escoí, Hendrik Decker, José M. Bernabéu-Aubán	COPLA* - a Middleware for Distributed Databases.	APLAS	2002	DBLP BibTeX RDF
1	Susumu Nishimura	Deforesting in Accumulating Parameters via Type-Directed Transformations.	APLAS	2002	DBLP BibTeX RDF
1	Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi	Implementation of Parallel Tree Skeletons on Distributed Systems.	APLAS	2002	DBLP BibTeX RDF
1	Bixin Li	An Approach for Assessing Software Coupling.	APLAS	2002	DBLP BibTeX RDF
1	Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu	A Type-Based Approach to Parallelization (preliminary report).	APLAS	2002	DBLP BibTeX RDF
1	Kazunori Ueda	Programming with Logical Links.	APLAS	2002	DBLP BibTeX RDF
1	Robert Glück, Masahiko Kawabe	An Automatic Program Inverter for Lisp: Potential and Limitations.	APLAS	2002	DBLP BibTeX RDF
1	Martin Sulzmann	An Overview of the Chameleon System.	APLAS	2002	DBLP BibTeX RDF
1	Xinxin Liu, Yongjian Li	Bisimulation for Higher-Order Pi-calculus.	APLAS	2002	DBLP BibTeX RDF
1		The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings	APLAS	2002	DBLP BibTeX RDF
1	Jacques Garrigue	Relaxing the Value Restriction.	APLAS	2002	DBLP BibTeX RDF
1	Hyunjun Eo, Kwangkeun Yi	An Improved Differential Fixpoint Iteration Method for Program Analysis.	APLAS	2002	DBLP BibTeX RDF
1	Guoyong, Peimin Deng, Jiali Feng	Specification based on Backus-Naur Formalism and Programming Language.	APLAS	2002	DBLP BibTeX RDF
1	Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi	Yicho - A System for Programming Program Calculations.	APLAS	2002	DBLP BibTeX RDF
1	Takuma Murakami, Zhenjiang Hu, Masato Takeichi	An Optimal Staging Algorithm.	APLAS	2002	DBLP BibTeX RDF
1	Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura	Recursion Removal from Recursive Programs with One Descent Function.	APLAS	2002	DBLP BibTeX RDF
1	Tetsuo Ida	Functional Logic Origami Programming.	APLAS	2002	DBLP BibTeX RDF
1	Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi	Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.	APLAS	2002	DBLP BibTeX RDF
1	Wei Li 0022	What Is the Right Logical Framework for Evolution of Knowledge.	APLAS	2002	DBLP BibTeX RDF
1	Kazuhiko Kakehi 0001, Zhenjiang Hu, Masato Takeichi	Fusion Transformation on Functional Programs of Regular Expression Types.	APLAS	2002	DBLP BibTeX RDF
1	Kazunori Ueda	Resource-Passing Concurrent Programming.	APLAS	2001	DBLP BibTeX RDF
1	Yukiyoshi Kameyama	Dynamic Control Operators in Type Theory.	APLAS	2001	DBLP BibTeX RDF
1	Saswat Anand, Siau-Cheng Khoo	Efficient Interpretation of Chart Pattern Language.	APLAS	2001	DBLP BibTeX RDF
1	Haiyan Zhao, Zhenjiang Hu, Masato Takeichi	A Compositional Framework for Querying Optimized Ranges.	APLAS	2001	DBLP BibTeX RDF
1	Masahito Hasegawa	Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.	APLAS	2001	DBLP BibTeX RDF
1	Jacques Garrigue	Simple Type Inference for Structural Polymorphism.	APLAS	2001	DBLP BibTeX RDF
1	Mitsuharu Yamamoto, Masami Hagiya	Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata.	APLAS	2001	DBLP BibTeX RDF
1	Andrzej S. Murawski, Kwangkeun Yi	Static Monotonicity Analysis for lambda-Definable Functions. over Lattices.	APLAS	2001	DBLP BibTeX RDF
1	Tyng-Ruey Chuang, Jan-Li Lin	On Modular Transformations of Structural Content.	APLAS	2001	DBLP BibTeX RDF
1	Farn Wang	Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram.	APLAS	2001	DBLP BibTeX RDF
1		The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings	APLAS	2001	DBLP BibTeX RDF
1	Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn	Computability and Complexity Results for a Spatial Assertion Language for Data Structures.	APLAS	2001	DBLP BibTeX RDF
1	Mikhail A. Bulyonkov, N. N. Filatkina	Exploring Dataflow in Legacy Systems.	APLAS	2001	DBLP BibTeX RDF
1	Kyung-Goo Doh, Seung Cheol Shin	Analysis of Secure Information Flow by Model-Checking.	APLAS	2001	DBLP BibTeX RDF
1	Jinyun Xue	Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.	APLAS	2001	DBLP BibTeX RDF
1	Oukseh Lee	An Effect System Combining Alias and Liveness for Explicit Memory Reuse.	APLAS	2001	DBLP BibTeX RDF
1	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Higher-Order Polymorphic Sized Types for Safety Checks.	APLAS	2001	DBLP BibTeX RDF
1	Norio Kato, Kazunori Ueda	Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis.	APLAS	2001	DBLP BibTeX RDF
1	Atsushi Igarashi, Naoki Kobayashi 0001	Resource Usage Analysis.	APLAS	2001	DBLP BibTeX RDF
1	Mizuhito Ogawa	Abstract Interpretation over Infinite Abstract Domains (Tentative Report).	APLAS	2001	DBLP BibTeX RDF
1	Norio Kobayashi, Mircea Marin, Tetsuo Ida	Collaborative Constraint Functional Logic Programming in an Open Environment.	APLAS	2001	DBLP BibTeX RDF
1	Atsushi Ohori	Proof-Directed Compilation for Inter-operable Languages.	APLAS	2001	DBLP BibTeX RDF
1	Yasuhiko Minamide, Koji Okuma	Verifying the CPS Transformation in Isabelle/HOL.	APLAS	2001	DBLP BibTeX RDF
1	Shin-Cheng Mu, Richard S. Bird	Functional Quantum Programming.	APLAS	2001	DBLP BibTeX RDF
1	Joonseon Ahn	A Differential Evaluation of Fixpoint Iterations.	APLAS	2001	DBLP BibTeX RDF
1	Kwanghoon Choi 0001, Taisook Han	A Type System for the Push-Enter Model.	APLAS	2001	DBLP BibTeX RDF
1	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	An Accumulative Parallel Skeleton for All.	APLAS	2001	DBLP BibTeX RDF
1	Byeong-Mo Chang, Jang-Wu Jo	Estimating Exception-Induced Control Flow for Java.	APLAS	2001	DBLP BibTeX RDF
1	Eijiro Sumii, Hideo Bannai	VM lambda: a Functional Calculus for Scientific Discovery.	APLAS	2001	DBLP BibTeX RDF
1	Robert Glück	Jones Optimality and the Strength of Program Specializers.	APLAS	2001	DBLP BibTeX RDF
1	Jeff Polakow, Kwangkeun Yi	Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.	APLAS	2000	DBLP BibTeX RDF
1	Nevin Heintze, Joxan Jaffar, Razvan Voicu	Conditional Analysis and Verification.	APLAS	2000	DBLP BibTeX RDF
1	Kazunori Ueda	Linearity Analysis of Concurrent Logic Programs.	APLAS	2000	DBLP BibTeX RDF
1	Le Xuan Thang	Berlioz: Compiling Oz to Java Bytecode.	APLAS	2000	DBLP BibTeX RDF
1	Yoshihiko Futamura, Zenjiro Konishi, Robert Glück	Automatic Generation of Very Efficient Programs by Generalized Partial Computation.	APLAS	2000	DBLP BibTeX RDF
1	Jungtaek Kim, Kwangkeun Yi	Partial CPS Transformation Using Static Annotation.	APLAS	2000	DBLP BibTeX RDF
1	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Deriving Pre-Conditions for Array Bound Check Elimination.	APLAS	2000	DBLP BibTeX RDF
1	Nikolay V. Shilov 0002, Kwangkeun Yi	A Note on Model Checkers Reuse and Validation.	APLAS	2000	DBLP BibTeX RDF
1	Atsushi Ohori	Logical Analysis of Assembly Language.	APLAS	2000	DBLP BibTeX RDF
1	Tyng-Ruey Chuang	Generic Validation of Structural Content with Parametric Modules.	APLAS	2000	DBLP BibTeX RDF
1	C.-H. Luke Ong	Light Logic and Resource Bounded Computation.	APLAS	2000	DBLP BibTeX RDF
1	Hui Wu 0001, Joxan Jaffar	An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines.	APLAS	2000	DBLP BibTeX RDF
1		The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings	APLAS	2000	DBLP BibTeX RDF
1	Tetsuo Ida, Mircea Marin	An Open Environment for Cooperative Equational Solving.	APLAS	2000	DBLP BibTeX RDF
1	Shin-Cheng Mu	On Building Trees with Minimum Height, Relationally.	APLAS	2000	DBLP BibTeX RDF
1	Mizuhito Ogawa	A Note on Algebraic Structure of Tree Decomposition of Graphs.	APLAS	2000	DBLP BibTeX RDF
1	Sergei M. Abramov, Robert Glück	Principles of Inverse Computation in a Functional Language.	APLAS	2000	DBLP BibTeX RDF

Publications at "APLAS"( http://dblp.L3S.de/Venues/APLAS )