Lecture Notes in Computer Science - Theoretical Aspects of Computer Software
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540427360, 9783540455004

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Non-structural Subtype Entailment in Automata Theory

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_18 ◽

2001 ◽

pp. 360-384 ◽

Cited By ~ 3

Author(s):

Joachim Niehren ◽

Tim Priesnitz

Keyword(s):

Automata Theory

Download Full-text

Infinite Intersection and Union Types for the Lazy Lambda Calculus

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_22 ◽

2001 ◽

pp. 448-458

Author(s):

Marcello M. Bonsangue ◽

Joost N. Kok

Keyword(s):

Lambda Calculus

Download Full-text

What Will Be Eventually True of Polynomial Hybrid Automata?

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_17 ◽

2001 ◽

pp. 340-359 ◽

Cited By ~ 17

Author(s):

Martin Fränzle

Keyword(s):

Hybrid Automata

Download Full-text

Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_14 ◽

2001 ◽

pp. 283-297

Author(s):

Mizuhito Ogawa

Keyword(s):

Query Processing ◽

Linear Time ◽

Processing Algorithm

Download Full-text

Design and Correctness of Program Transformations Based on Control-Flow Analysis

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_21 ◽

2001 ◽

pp. 420-447 ◽

Cited By ~ 11

Author(s):

Anindya Banerjee ◽

Nevin Heintze ◽

Jon G. Riecke

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Program Transformations ◽

Control Flow Analysis

Download Full-text

Termination Proofs and Complexity Certification

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_9 ◽

2001 ◽

pp. 183-200 ◽

Cited By ~ 5

Author(s):

Daniel Leivant

Keyword(s):

Termination Proofs

Download Full-text

Solo Diagrams

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_6 ◽

2001 ◽

pp. 127-144 ◽

Cited By ~ 10

Author(s):

Cosimo Laneve ◽

Joachim Parrow ◽

Björn Victor

Download Full-text

Formal Eavesdropping and Its Computational Interpretation

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_4 ◽

2001 ◽

pp. 82-94 ◽

Cited By ~ 61

Author(s):

Martín Abadi ◽

Jan Jürjens

Download Full-text

Unison: A File Synchronizer and Its Specification

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_28 ◽

2001 ◽

pp. 560-560 ◽

Cited By ~ 3

Author(s):

Benjamin C. Pierce ◽

Jérôme Vouillon

Download Full-text

Typing Assembly Programs with Explicit Forwarding

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-45500-0_26 ◽

2001 ◽

pp. 514-534

Author(s):

Lennart Beringer

Download Full-text

Lecture Notes in Computer Science - Theoretical Aspects of Computer SoftwareLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Non-structural Subtype Entailment in Automata Theory

Infinite Intersection and Union Types for the Lazy Lambda Calculus

What Will Be Eventually True of Polynomial Hybrid Automata?

Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders

Design and Correctness of Program Transformations Based on Control-Flow Analysis

Termination Proofs and Complexity Certification

Solo Diagrams

Formal Eavesdropping and Its Computational Interpretation

Unison: A File Synchronizer and Its Specification

Typing Assembly Programs with Explicit Forwarding

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software
Latest Publications