Skip to main content
Home

Main menu

  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
    • How to submit
  • Contacts

Simple semantic analysis problems for functional programs

Search

Author(s)
Sabelfeld Victor,
Sabelfeld Andrey
Abstract

In the paper two problems of semantic property analysis of recursion schemes are stated and a marking technique for solving these problems is described.

Keywords
program flow analysis,
abstract interpretation,
approximation,
recursion scheme,
strictness analysis,
parameter dependence
File
sabelfeld.pdf4.19 MB
Issue
Computer Science, № 5, 1996
Pages
43-53
© 2015 - 2023 Ershov IIS SB RAS, ICM&MG SB RAS
Registration Сertificate ЭЛ № ФС 77 – 68696
    • About
      • Journal
      • Editorial
      • ISSN
    • Series
      • Computer Science
      • Mathematical Modeling in Geophysics
      • Numerical Analysis
      • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
    • Search
    • Authors
    • Submission
    • Contacts
    • Search