researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Higher-Order and Symbolic Computation
Home
Index
Info
Issue
Volume
16
, Issue
4
297
--
339
Roberto Giacobazzi
,
Isabella Mastroeni
.
Non-Standard Semantics for Program Slicing
341
--
377
Lunjin Lu
.
Path Dependent Analysis of Logic Programs
379
--
400
Aleksandar Nanevski
,
Guy E. Blelloch
,
Robert Harper
.
Automatic Generation of Staged Geometric Predicates