ask others

2. SAS 1995: Glasgow, UK

> Home > Conferences and Workshops

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/95
Alan Mycroft:
Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings. Lecture Notes in Computer Science 983, Springer 1995, ISBN 3-540-60360-3

Invited Talks

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Schmidt95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Schmidt95
David A. Schmidt:
Natural-Semantics-Based Abstract Interpretation (Preliminary Version). 1-18
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Tofte95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Tofte95
Mads Tofte:
Region Inference for Higher-Order Functional Languages. 19-20
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/WolperB95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/WolperB95
Pierre Wolper, Bernard Boigelot:
An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract). 21-32

Contributed Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/AltM95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/AltM95
Martin Alt, Florian Martin:
Generation of Efficient Interprocedural Analyzers with PAG. 33-50
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/CleavelandIY95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/CleavelandIY95
Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich:
Optimality in Abstractions of Model Checking. 51-63
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Colby95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Colby95
Christopher Colby:
Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data. 64-81
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Coorg95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Coorg95
Satyan R. Coorg:
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation. 82-99
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/CortesiFGPR95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/CortesiFGPR95
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation. 100-117
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/DussartHM95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/DussartHM95
Dirk Dussart, Fritz Henglein, Christian Mossin:
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time. 118-135
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Faxen95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Faxen95
Karl-Filip Faxén:
Optimizing Lazy Functional Programs Using Flow Inference. 136-153
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Giesl95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Giesl95
Jürgen Giesl:
Termination Analysis for Functional Programs using Term Orderings. 154-171
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Hannan95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Hannan95
John Hannan:
A Type-based Analysis for Stack Allocation in Functional Languages. 172-188
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Heintze95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Heintze95
Nevin Heintze:
Control-Flow Analysis and Type Systems. 189-206
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/JagannathanW95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/JagannathanW95
Suresh Jagannathan, Andrew K. Wright:
Effective Flow Analysis for Avoiding Run-Time Checks. 207-224
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/KobayashiNY95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/KobayashiNY95
Naoki Kobayashi, Motoki Nakade, Akinori Yonezawa:
Static Analysis of Communication for Asynchronous Concurrent Programming Languages. 225-242
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/RaoS95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/RaoS95
M. R. K. Krishna Rao, R. K. Shyamasundar:
Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs. 243-260
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Mohnen95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Mohnen95
Markus Mohnen:
Efficient Closure Utilisation by Higher-Order Inheritance Analysis. 261-278
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Monsuez95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Monsuez95
Bruno Monsuez:
System F and Abstract Interpretation. 279-295
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/NielsenS95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/NielsenS95
Kristian Nielsen, Morten Heine Sørensen:
Call-By-Name CPS-Translation as a Binding-Time Improvement. 296-313
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/PalsbergO95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/PalsbergO95
Jens Palsberg, Peter Ørbæk:
Trust in the lambda-Calculus. 314-329
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/RamachandranH95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/RamachandranH95
Viswanath Ramachandran, Pascal Van Hentenryck:
LSign Reordered. 330-347
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Schmidt-SchausPS95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Schmidt-SchausPS95
Manfred Schmidt-Schauß, Sven Eric Panitz, Marko Schütz:
Abstract Reduction Using a Tableau Calculus. 348-365
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/SerranoW95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/SerranoW95
Manuel Serrano, Pierre Weis:
Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages. 366-381
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Seward95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Seward95
Julian Seward:
Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell. 382-399
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Vedrine95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Vedrine95
Franck Védrine:
Binding-Time Analysis and Strictness Analysis by Abstract Interpretation. 400-417

System Descriptions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Fecht95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Fecht95
Christian Fecht:
GENA - A Tool for Generating Prolog Analyzers from Specifications. 418-419
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/NordinLM95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/NordinLM95
Magnus Nordin, Thomas Lindgren, Håkan Millroth:
IGOR: A Tool for Developing Prolog Dataflow Analyzers. 420-421

maintained by

at