close
1.

図書

図書
H. Kirchner, G. Levi (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  ix, 457 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 632
所蔵情報: loading…
2.

図書

図書
Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 850
所蔵情報: loading…
3.

図書

図書
M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  iv, 218 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 306
所蔵情報: loading…
目次情報: 続きを見る
An Intensional Theory of Function and Control Abstractions / L. Cardelli
Typechecking Dependent Types and Subtypes / C. Bwhm
Reducing Recursion to Iteration by Means of Pairs and N-tuples / J.-L. Lassez ; M.J. Maher ; K. Marriott
Unification Revisited / C. Zaniolo ; D. Sacc_
Rule Rewriting Methods for Efficient Implementations of Horn logic
Submitted Contributions / P. Miglioli ; U. Moscato ; M. Ornaghi
PAP: A logic Programming System Based on a Constructive Logic / E. Giovannetti ; C. Moiso
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing / N. Guarino
Representing Domain Structure of Many-sorted Prolog Knowledge Bases / A. D'Angelo
Horn: An Inference Engine Prototype to Implement Intelligent Systems / E.G. Omodeo
Hints for the Design of a Set Calculus Oriented to Automated Deduction
An Intensional Theory of Function and Control Abstractions / L. Cardelli
Typechecking Dependent Types and Subtypes / C. Bwhm
Reducing Recursion to Iteration by Means of Pairs and N-tuples / J.-L. Lassez ; M.J. Maher ; K. Marriott
4.

図書

図書
Giorgio Levi (ed.)
出版情報: Berlin ; New York : Springer, c1998  ix, 380 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1503
所蔵情報: loading…
目次情報: 続きを見る
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form / Kathleen Knobe ; Vivek Sarkar
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses / Michael Hind ; Anthony Pioli
Logic Programming
Analysis of Normal Logic Programs / François Fages ; Roberta Gori
The Correctness of Set-Sharing / Patricia M. Hill ; Roberto Bagnara ; Enea Zaffanella
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing / Valérie Gouranton
Concurrency
A Symbolic Semantics for Abstract Model Checking / Francesca Levi
Automatic Determination of Communication Topologies in Mobile Systems / Arnaud Venet
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation / Chiara Bodei ; Pierpaolo Degano ; Corrado Priami
Abstract Domains
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs / Paolo Volpe
Refining Static Analyses by Trace-Based Partinioning Using Control Flow / Maria Handjieva ; Stanislav Tzolovski
Building Complete Abstract Interpretations in a Linear Logic-Based Setting / Roberto Giacobazzi ; Francesco Ranzato ; Francesca Scozzari
Partial Evaluation
On the Power of Homeomorphic Embedding for Online Termination / Michael Leuschel
Analysis of Imperative Programs through Analysis of Constraint Logic Programs / Julio C. Peralta ; John P. Gallagher ; Huseyin SaGlam
Improving Control in Functional Logic Program Specialization / E. Albert ; M. Alpuente ; M. Falaschi ; P. Julián ; G. Vidal
Type Inference
Directional Type Inference for Logic Programs / Witold Charatonik ; Andreas Podelski
Finite Subtype Inference with Explicit Polymorphism / Dominic Duggan
Optimization
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis / M. Tadjouddine ; F. Eyssette ; C. Faure
A New Solution to the Hidden Copy Problem / Deepak Goyal ; Robert Paige
Tutorials
A Tutorial on Domain Theory in Abstract Interpretation
Program Analysis as Model Checking of Abstract Interpretations / David Schmidt ; Bernhard Steffen
Invited Talks
Certifying, Optimizing Compilation / Peter Lee
Author Index
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼