Search results for "APLAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Stefano Berardi, Makoto Tatsuta	Positive Arithmetic Without Exchange Is a Subclassical Logic.	APLAS	2007	DBLP DOI BibTeX RDF
1	Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina	A Probabilistic Applied Pi-Calculus.	APLAS	2007	DBLP DOI BibTeX RDF
1	Yoshihiko Kakutani	Call-by-Name and Call-by-Value in Normal Modal Logic.	APLAS	2007	DBLP DOI BibTeX RDF
1	Atsushi Igarashi, Masashi Iwaki	Deriving Compilers and Virtual Machines for a Multi-level Language.	APLAS	2007	DBLP DOI BibTeX RDF
1	Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine	Scalable Simulation of Cellular Signaling Networks.	APLAS	2007	DBLP DOI BibTeX RDF
1	Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv	Local Reasoning for Storable Locks and Threads.	APLAS	2007	DBLP DOI BibTeX RDF
1	Damien Pous	Complete Lattices and Up-To Techniques.	APLAS	2007	DBLP DOI BibTeX RDF
1	Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia	CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.	APLAS	2007	DBLP DOI BibTeX RDF
1	Dachuan Yu	More Typed Assembly Languages for Confidentiality.	APLAS	2007	DBLP DOI BibTeX RDF
1	Sungwoo Park	A Modal Language for the Safety of Mobile Values.	APLAS	2006	DBLP DOI BibTeX RDF
1	Jens Palsberg	Event Driven Software Quality.	APLAS	2006	DBLP DOI BibTeX RDF
1	Jacques Garrigue	Private Row Types: Abstracting the Unnamed.	APLAS	2006	DBLP DOI BibTeX RDF
1	Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson	Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.	APLAS	2006	DBLP DOI BibTeX RDF
1	Roberta Gori, Francesca Levi	An Analysis for Proving Temporal Properties of Biological Systems.	APLAS	2006	DBLP DOI BibTeX RDF
1	Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey	Principal Type Inference for GHC-Style Multi-parameter Type Classes.	APLAS	2006	DBLP DOI BibTeX RDF
1	Johan Gade, Robert Glück	On Jones-Optimal Specializers: A Case Study Using Unmix.	APLAS	2006	DBLP DOI BibTeX RDF
1	Hiroshi Yamauchi, Jan Vitek	Combining Offline and Online Optimizations: Register Allocation and Method Inlining.	APLAS	2006	DBLP DOI BibTeX RDF
1	Nina Bohr, Lars Birkedal	Relational Reasoning for Recursive Types and References.	APLAS	2006	DBLP DOI BibTeX RDF
1	Yasuhiko Minamide, Akihiko Tozawa	XML Validation for Context-Free Grammars.	APLAS	2006	DBLP DOI BibTeX RDF
1	Matthew Flatt, Robert Bruce Findler, Matthias Felleisen	Scheme with Classes, Mixins, and Traits.	APLAS	2006	DBLP DOI BibTeX RDF
1	Martín Abadi, Ricardo Corin, Cédric Fournet	Computational Secrecy by Typing for the Pi Calculus.	APLAS	2006	DBLP DOI BibTeX RDF
1	Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh	A Practical String Analyzer by the Widening Approach.	APLAS	2006	DBLP DOI BibTeX RDF
1	Keisuke Nakano 0001, Shin-Cheng Mu	A Pushdown Machine for Recursive XML Processing.	APLAS	2006	DBLP DOI BibTeX RDF
1	Markus Lumpe	Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy.	APLAS	2006	DBLP DOI BibTeX RDF
1	David A. Schmidt	Comparing Completeness Properties of Static Analyses and Their Logics.	APLAS	2006	DBLP DOI BibTeX RDF
1	Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi	Type and Effect System for Multi-staged Exceptions.	APLAS	2006	DBLP DOI BibTeX RDF
1	Lennart Beringer, Martin Hofmann 0001	A Bytecode Logic for JML and Types.	APLAS	2006	DBLP DOI BibTeX RDF
1	Yannis Chicha, Stephen M. Watt	A Localized Tracing Scheme Applied to Garbage Collection.	APLAS	2006	DBLP DOI BibTeX RDF
1	Pieter W. M. Koopman, Rinus Plasmeijer	Automatic Testing of Higher Order Functions.	APLAS	2006	DBLP DOI BibTeX RDF
1	Nick Benton, Andrew Kennedy, Martin Hofmann 0001, Lennart Beringer	Reading, Writing and Relations.	APLAS	2006	DBLP DOI BibTeX RDF
1	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Type Processing by Constraint Reasoning.	APLAS	2006	DBLP DOI BibTeX RDF
1	William L. Harrison	Proof Abstraction for Imperative Languages.	APLAS	2006	DBLP DOI BibTeX RDF	Program Specification and Verification, Monads, Language Semantics, Monad Transformers
1	Naoki Kobayashi 0001 (eds.)	Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings	APLAS	2006	DBLP DOI BibTeX RDF
1	Axel Simon, Andy King	Widening Polyhedra with Landmarks.	APLAS	2006	DBLP DOI BibTeX RDF
1	Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa	A Fine-Grained Join Point Model for More Reusable Aspects.	APLAS	2006	DBLP DOI BibTeX RDF
1	Dino Distefano	A Parametric Model for the Analysis of Mobile Ambients.	APLAS	2005	DBLP DOI BibTeX RDF
1	David Monniaux	The Parallel Implementation of the Astrée Static Analyzer.	APLAS	2005	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Francesco Logozzo	Loop Invariants on Demand.	APLAS	2005	DBLP DOI BibTeX RDF
1	Kwangkeun Yi (eds.)	Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings	APLAS	2005	DBLP DOI BibTeX RDF
1	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation Perspective on Linear vs. Branching Time.	APLAS	2005	DBLP DOI BibTeX RDF
1	Nick Benton	A Typed, Compositional Logic for a Stack-Based Abstract Machine.	APLAS	2005	DBLP DOI BibTeX RDF
1	Haruo Hosoya	Type Systems for XML.	APLAS	2005	DBLP DOI BibTeX RDF
1	Aditya Kanade, Uday P. Khedker, Amitabha Sanyal	Heterogeneous Fixed Points with Application to Points-To Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
1	Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca	Calculating Polynomial Runtime Properties.	APLAS	2005	DBLP DOI BibTeX RDF
1	Damien Sereni, Neil D. Jones	Termination Analysis of Higher-Order Functional Programs.	APLAS	2005	DBLP DOI BibTeX RDF
1	William L. Harrison	A Simple Semantics for Polymorphic Recursion.	APLAS	2005	DBLP DOI BibTeX RDF
1	Fernando Magno Quintão Pereira, Jens Palsberg	Register Allocation Via Coloring of Chordal Graphs.	APLAS	2005	DBLP DOI BibTeX RDF
1	Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum	A Next-Generation Platform for Analyzing Executables.	APLAS	2005	DBLP DOI BibTeX RDF
1	John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam	Using Datalog with Binary Decision Diagrams for Program Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
1	Ivana Mijajlovic, Hongseok Yang	Data Refinement with Low-Level Pointer Operations.	APLAS	2005	DBLP DOI BibTeX RDF
1	Patrick Cousot	Integrating Physical Systems in the Static Analysis of Embedded Control Software.	APLAS	2005	DBLP DOI BibTeX RDF
1	Atsushi Igarashi, Chieri Saito, Mirko Viroli	Lightweight Family Polymorphism.	APLAS	2005	DBLP DOI BibTeX RDF
1	Xavier Rival	Abstract Dependences for Alarm Diagnosis.	APLAS	2005	DBLP DOI BibTeX RDF
1	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	APLAS	2005	DBLP DOI BibTeX RDF
1	Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor	Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
1	Walter Binder	A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting.	APLAS	2005	DBLP DOI BibTeX RDF	Java, program transformations, Profiling, JVM, bytecode instrumentation, dynamic metrics
1	Isabella Mastroeni	On the Rôle of Abstract Non-interference in Language-Based Security.	APLAS	2005	DBLP DOI BibTeX RDF	Language-based Security, Non-Interference, Declassification
1	Roberta Gori, Francesca Levi	A New Occurrence Counting Analysis for BioAmbients.	APLAS	2005	DBLP DOI BibTeX RDF	Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation
1	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn	Symbolic Execution with Separation Logic.	APLAS	2005	DBLP DOI BibTeX RDF
1	V. Benjamin Livshits, John Whaley, Monica S. Lam	Reflection Analysis for Java.	APLAS	2005	DBLP DOI BibTeX RDF
1	Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han	A Path Sensitive Type System for Resource Usage Verification of C Like Languages.	APLAS	2005	DBLP DOI BibTeX RDF
1	Silvano Dal-Zilio, Régis Gascon	Resource Bound Certification for a Tail-Recursive Virtual Machine.	APLAS	2005	DBLP DOI BibTeX RDF
1	Chien-An Chen, Sara Kalvala, Jane E. Sinclair	Race Conditions in Message Sequence Charts.	APLAS	2005	DBLP DOI BibTeX RDF
1	Zining Cao	A Uniform Reduction Equivalence for Process Calculi.	APLAS	2004	DBLP DOI BibTeX RDF
1	Michele Boreale, Maria Grazia Buscemi, Ugo Montanari	D-Fusion: A Distinctive Fusion Calculus.	APLAS	2004	DBLP DOI BibTeX RDF
1	Wei-Ngan Chin (eds.)	Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings	APLAS	2004	DBLP DOI BibTeX RDF
1	Heiko Mantel, David Sands 0001	Controlled Declassification Based on Intransitive Noninterference.	APLAS	2004	DBLP DOI BibTeX RDF
1	Makoto Hamana	Free S-Monoids: A Higher-Order Syntax with Metavariables.	APLAS	2004	DBLP DOI BibTeX RDF
1	Pao-Ann Hsiung, Shang-Wei Lin 0001	Formal Design and Verification of Real-Time Embedded Software.	APLAS	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis
1	Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li, Shengchao Qin	A Relational Model for Object-Oriented Designs.	APLAS	2004	DBLP DOI BibTeX RDF	UTP, Semantics, Object Orientation, Refinement
1	Kwanghoon Choi 0001, Atsushi Ohori	A Type Theory for Krivine-Style Evaluation and Compilation.	APLAS	2004	DBLP DOI BibTeX RDF
1	Christian Skalka, Scott F. Smith 0001	History Effects and Verification.	APLAS	2004	DBLP DOI BibTeX RDF
1	Frank Pfenning	Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).	APLAS	2004	DBLP DOI BibTeX RDF
1	Joxan Jaffar	A CLP Approach to Modelling Systems.	APLAS	2004	DBLP DOI BibTeX RDF
1	Tetsuo Kamina, Tetsuo Tamai	McJava - A Design and Implementation of Java with Mixin-Types.	APLAS	2004	DBLP DOI BibTeX RDF
1	Keisuke Nakano 0001	An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors.	APLAS	2004	DBLP DOI BibTeX RDF
1	Zoe C. H. Yu, Francis C. M. Lau 0001, Cho-Li Wang	Exploiting Java Objects Behavior for Memory Management and Optimizations.	APLAS	2004	DBLP DOI BibTeX RDF
1	Pascal Fradet, Stéphane Hong Tuan Ha	Network Fusion.	APLAS	2004	DBLP DOI BibTeX RDF
1	Tatsuya Abe 0001	A Concurrent System of Multi-ported Processes with Causal Dependency.	APLAS	2004	DBLP DOI BibTeX RDF
1	Akihito Nagata, Naoki Kobayashi 0001, Akinori Yonezawa	Region-Based Memory Management for a Dynamically-Typed Language.	APLAS	2004	DBLP DOI BibTeX RDF
1	Peter Møller Neergaard	A Functional Language for Logarithmic Space.	APLAS	2004	DBLP DOI BibTeX RDF
1	Neil Ghani, Tarmo Uustalu, Varmo Vene	Build, Augment and Destroy, Universally.	APLAS	2004	DBLP DOI BibTeX RDF
1	Matthias Neubauer, Peter Thiemann 0001	Protocol Specialization.	APLAS	2004	DBLP DOI BibTeX RDF
1	Kenny Zhuo Ming Lu, Martin Sulzmann	An Implementation of Subtyping Among Regular Expression Types.	APLAS	2004	DBLP DOI BibTeX RDF
1	Tobias Lindahl, Konstantinos Sagonas	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.	APLAS	2004	DBLP DOI BibTeX RDF	Compile-time program checking, software development, software tools, defect detection, software quality assurance
1	Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura	A MATLAB-Based Code Generator for Sparse Matrix Computations.	APLAS	2004	DBLP DOI BibTeX RDF
1	Koichi Kodama, Kohei Suenaga, Naoki Kobayashi 0001	Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type.	APLAS	2004	DBLP DOI BibTeX RDF
1	Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi	An Algebraic Approach to Bi-directional Updating.	APLAS	2004	DBLP DOI BibTeX RDF
1	Martin Odersky	The Scala Experiment - Can We Provide Better Language Support for Component Systems?	APLAS	2004	DBLP DOI BibTeX RDF
1	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden	Automatic Generation of Editors for Higher-Order Data Structures.	APLAS	2004	DBLP DOI BibTeX RDF
1	Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu	PType System: A Featherweight Parallelizability Detector.	APLAS	2004	DBLP DOI BibTeX RDF
1	Michael Eichberg, Mira Mezini, Klaus Ostermann	Pointcuts as Functional Queries.	APLAS	2004	DBLP DOI BibTeX RDF
1	Pawel T. Wojciechowski	Concurrency Combinators for Declarative Synchronization.	APLAS	2004	DBLP DOI BibTeX RDF
1	Susumu Nishimura	Correctness of a Higher-Order Removal Transformation through a Relational Reasoning.	APLAS	2003	DBLP DOI BibTeX RDF
1	Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén	Continutation Semantics for Parallel Haskell Dialects.	APLAS	2003	DBLP DOI BibTeX RDF
1	Dae-Hwan Kim, Hyuk-Jae Lee	Register Allocation Based on a Reference Flow Analysis.	APLAS	2003	DBLP DOI BibTeX RDF
1	Qin Ma 0002, Luc Maranget	Expressive Synchronization Types for Inheritance in the Join Calculus.	APLAS	2003	DBLP DOI BibTeX RDF
1	Hidehiko Masuhara, Kazunori Kawauchi	Dataflow Pointcut in Aspect-Oriented Programming.	APLAS	2003	DBLP DOI BibTeX RDF
1	Joonseon Ahn, Yong Jin Kwon	A Differential Fixpoint Evaluation Framework for Non-distributive Systems.	APLAS	2003	DBLP DOI BibTeX RDF	fixpoint computation, worklist algorithm, differential evaluation, static analysis, abstract interpretation
1	Koji Okuma, Yasuhiko Minamide	Executing Verified Compiler Specification.	APLAS	2003	DBLP DOI BibTeX RDF

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