Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540205364, 9783540400189

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Useless-Code Elimination and Program Slicing for the Pi-Calculus

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_5 ◽

2003 ◽

pp. 55-72 ◽

Cited By ~ 2

Author(s):

Naoki Kobayashi

Keyword(s):

Program Slicing ◽

Pi Calculus

Download Full-text

Model Checking: From Hardware to Software

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_12 ◽

2003 ◽

pp. 176-177

Author(s):

Thomas A. Henzinger

Keyword(s):

Model Checking

Download Full-text

A Differential Fixpoint Evaluation Framework for Non-distributive Systems

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_11 ◽

2003 ◽

pp. 159-175

Author(s):

Joonseon Ahn ◽

Yong Jin Kwon

Keyword(s):

Evaluation Framework

Download Full-text

Using Locality of Flow in Dataflow Analyses

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_10 ◽

2003 ◽

pp. 141-158

Author(s):

D V Ravindra

Download Full-text

Translating a Continuous-Time Temporal Logic into Timed Automata

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_21 ◽

2003 ◽

pp. 322-338 ◽

Cited By ~ 2

Author(s):

Guangyuan Li ◽

Zhisong Tang

Keyword(s):

Temporal Logic ◽

Continuous Time ◽

Timed Automata

Download Full-text

Register Allocation Based on a Reference Flow Analysis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_26 ◽

2003 ◽

pp. 394-409

Author(s):

Dae-Hwan Kim ◽

Hyuk-Jae Lee

Keyword(s):

Flow Analysis ◽

Reference Flow

Download Full-text

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_24 ◽

2003 ◽

pp. 358-375 ◽

Cited By ~ 3

Author(s):

Susumu Nishimura

Keyword(s):

Higher Order ◽

Relational Reasoning

Download Full-text

Continuation Semantics for Parallel Haskell Dialects

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_20 ◽

2003 ◽

pp. 303-321 ◽

Cited By ~ 5

Author(s):

Mercedes Hidalgo-Herrero ◽

Yolanda Ortega-Mallén

Download Full-text

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_19 ◽

2003 ◽

pp. 283-302 ◽

Cited By ~ 10

Author(s):

Vincent Simonet

Keyword(s):

Type Inference ◽

Constraint Solver

Download Full-text

Executing Verified Compiler Specification

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40018-9_13 ◽

2003 ◽

pp. 178-194 ◽

Cited By ~ 1

Author(s):

Koji Okuma ◽

Yasuhiko Minamide

Download Full-text

Programming Languages and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Useless-Code Elimination and Program Slicing for the Pi-Calculus

Model Checking: From Hardware to Software

A Differential Fixpoint Evaluation Framework for Non-distributive Systems

Using Locality of Flow in Dataflow Analyses

Translating a Continuous-Time Temporal Logic into Timed Automata

Register Allocation Based on a Reference Flow Analysis

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning

Continuation Semantics for Parallel Haskell Dialects

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

Executing Verified Compiler Specification

Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications