Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897910907

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Incremental polymorphic type checking in B

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567092 ◽

1983 ◽

Cited By ~ 12

Author(s):

Lambert Meertens

Keyword(s):

Type Checking ◽

Polymorphic Type

Download Full-text

Structural semantics for polymorphic data types (preliminary report)

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567083 ◽

1983 ◽

Cited By ~ 4

Author(s):

Daniel Leivant

Keyword(s):

Preliminary Report ◽

Data Types ◽

Structural Semantics

Download Full-text

Automatic verification of finite state concurrent system using temporal logic specifications

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567080 ◽

1983 ◽

Cited By ~ 163

Author(s):

E. M. Clarke ◽

E. A. Emerson ◽

A. P. Sistla

Keyword(s):

Temporal Logic ◽

Automatic Verification ◽

Concurrent System ◽

Finite State

Download Full-text

Computer experiments with the REVE term rewriting system generator

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567078 ◽

1983 ◽

Cited By ~ 72

Author(s):

Pierre Lescanne

Keyword(s):

Computer Experiments ◽

Term Rewriting ◽

System Generator ◽

Term Rewriting System ◽

Rewriting System

Download Full-text

A program form based on data dependency in predicate regions

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567089 ◽

1983 ◽

Cited By ~ 11

Author(s):

Jeanne Ferrante ◽

Karl J. Ottenstein

Keyword(s):

Data Dependency

Download Full-text

Practical program verification

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567074 ◽

1983 ◽

Cited By ~ 2

Author(s):

John Nagle ◽

Scott Johnson

Keyword(s):

Program Verification ◽

Practical Program

Download Full-text

Transformational programming

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567076 ◽

1983 ◽

Cited By ~ 12

Author(s):

Robert Paige

Keyword(s):

Transformational Programming

Download Full-text

Making variables abstract

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567075 ◽

1983 ◽

Cited By ~ 3

Author(s):

Alan Demers ◽

James Donahue

Download Full-text

Mechanisms for compile-time enforcement of security

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567093 ◽

1983 ◽

Cited By ~ 20

Author(s):

Robert E. Strom

Download Full-text

How to cook a temporal proof system for your pet language

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567082 ◽

1983 ◽

Cited By ~ 107

Author(s):

Zohar Manna ◽

Amir Pnueli

Keyword(s):

Proof System

Download Full-text

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Incremental polymorphic type checking in B

Structural semantics for polymorphic data types (preliminary report)

Automatic verification of finite state concurrent system using temporal logic specifications

Computer experiments with the REVE term rewriting system generator

A program form based on data dependency in predicate regions

Practical program verification

Transformational programming

Making variables abstract

Mechanisms for compile-time enforcement of security

How to cook a temporal proof system for your pet language

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83
Latest Publications