TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540592938, 9783540492337

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Nonfinite axiomatizability of shuffle inequalities

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_204 ◽

1995 ◽

pp. 318-333 ◽

Cited By ~ 8

Author(s):

Stephen L. Bloom ◽

Zoltán Ésik

Download Full-text

On the category of Petri net computations

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_205 ◽

1995 ◽

pp. 334-348 ◽

Cited By ~ 8

Author(s):

Vladimiro Sassone

Keyword(s):

Petri Net

Download Full-text

Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_208 ◽

1995 ◽

pp. 379-393 ◽

Cited By ~ 3

Author(s):

M. R. K. Krishna Rao

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

STeP: The Stanford Temporal Prover

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_237 ◽

1995 ◽

pp. 793-794 ◽

Cited By ~ 15

Author(s):

Zohar Manna ◽

Nikolaj Bjørner ◽

Anca Browne ◽

Edward Chang ◽

Michael Colón ◽

...

Download Full-text

Generic techniques for source-level debugging and dynamic program slicing

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_217 ◽

1995 ◽

pp. 516-530 ◽

Cited By ~ 2

Author(s):

Frank Tip

Keyword(s):

Program Slicing ◽

Dynamic Program ◽

Source Level

Download Full-text

Statecharts, transition structures and transformations

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_213 ◽

1995 ◽

pp. 454-468 ◽

Cited By ~ 1

Author(s):

Adriano Peron

Keyword(s):

Transition Structures

Download Full-text

An imperative object calculus

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_214 ◽

1995 ◽

pp. 469-485 ◽

Cited By ~ 15

Author(s):

Martín Abadi ◽

Luca Cardelli

Download Full-text

Assumption/guarantee specifications in linear-time temporal logic (extended abstract)

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_200 ◽

1995 ◽

pp. 262-276 ◽

Cited By ~ 8

Author(s):

Bengt Jonsson ◽

Yih-Kuen Tsay

Keyword(s):

Temporal Logic ◽

Linear Time ◽

Linear Time Temporal Logic

Download Full-text

CPO models for a class of GSOS languages

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_212 ◽

1995 ◽

pp. 439-453 ◽

Cited By ~ 2

Author(s):

Luca Aceto ◽

Anna Ingólfsdóttir

Download Full-text

Non-speculative and upward invocation of continuations in a parallel language

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/3-540-59293-8_231 ◽

1995 ◽

pp. 726-740 ◽

Cited By ~ 1

Author(s):

Luc Moreau

Keyword(s):

Parallel Language

Download Full-text

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Nonfinite axiomatizability of shuffle inequalities

On the category of Petri net computations

Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems

STeP: The Stanford Temporal Prover

Generic techniques for source-level debugging and dynamic program slicing

Statecharts, transition structures and transformations

An imperative object calculus

Assumption/guarantee specifications in linear-time temporal logic (extended abstract)

CPO models for a class of GSOS languages

Non-speculative and upward invocation of continuations in a parallel language

TAPSOFT '95: Theory and Practice of Software Development - Lecture Notes in Computer Science
Latest Publications