↓ Skip to main content

TAPSOFT '95: Theory and Practice of Software Development

Overview of attention for book
Cover of 'TAPSOFT '95: Theory and Practice of Software Development'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 184 A decade of TAPSOFT
  3. Altmetric Badge
    Chapter 185 Theory and practice of software development
  4. Altmetric Badge
    Chapter 186 Rational spaces and set constraints
  5. Altmetric Badge
    Chapter 187 Formal methods and social context in software development
  6. Altmetric Badge
    Chapter 188 Testing can be formal, too
  7. Altmetric Badge
    Chapter 189 Anatomy of the Pentium bug
  8. Altmetric Badge
    Chapter 190 Rational mechanics and natural mathematics
  9. Altmetric Badge
    Chapter 191 First-order logic on finite trees
  10. Altmetric Badge
    Chapter 192 Decidability of equivalence for deterministic synchronized tree automata
  11. Altmetric Badge
    Chapter 193 The equivalence problem for letter-to-letter bottom-up tree transducers is solvable
  12. Altmetric Badge
    Chapter 194 πI: A symmetric calculus based on internal mobility
  13. Altmetric Badge
    Chapter 195 Complete inference systems for weak bisimulation equivalences in the π-calculus
  14. Altmetric Badge
    Chapter 196 Reasoning about higher-order processes
  15. Altmetric Badge
    Chapter 197 Confluence of processes and systems of objects
  16. Altmetric Badge
    Chapter 198 An algebraic approach to temporal logic
  17. Altmetric Badge
    Chapter 199 On behavioural abstraction and behavioural satisfaction in higher-order logic
  18. Altmetric Badge
    Chapter 200 Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
  19. Altmetric Badge
    Chapter 201 Fine hierarchy of regular ω -languages
  20. Altmetric Badge
    Chapter 202 Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time
  21. Altmetric Badge
    Chapter 203 Semi-trace morphisms and rational transductions
  22. Altmetric Badge
    Chapter 204 Nonfinite axiomatizability of shuffle inequalities
  23. Altmetric Badge
    Chapter 205 On the category of Petri net computations
  24. Altmetric Badge
    Chapter 206 High undecidability of weak bisimilarity for Petri nets
  25. Altmetric Badge
    Chapter 207 Polynomial algorithms for the synthesis of bounded nets
  26. Altmetric Badge
    Chapter 208 Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
  27. Altmetric Badge
    Chapter 209 Lazy narrowing: Strong completeness and eager variable elimination (extended abstract)
  28. Altmetric Badge
    Chapter 210 On the expressive power of algebraic graph grammars with application conditions
  29. Altmetric Badge
    Chapter 211 Generated models and the ω-rule: The nondeterministic case
  30. Altmetric Badge
    Chapter 212 CPO models for a class of GSOS languages
  31. Altmetric Badge
    Chapter 213 Statecharts, transition structures and transformations
  32. Altmetric Badge
    Chapter 214 An imperative object calculus
  33. Altmetric Badge
    Chapter 215 A refinement of import/export declarations in modular logic programming and its semantics
  34. Altmetric Badge
    Chapter 216 Strictness and totality analysis with conjunction
  35. Altmetric Badge
    Chapter 217 Generic techniques for source-level debugging and dynamic program slicing
  36. Altmetric Badge
    Chapter 218 Reasoning with executable specifications
  37. Altmetric Badge
    Chapter 219 Calculating software generators from solution specifications
  38. Altmetric Badge
    Chapter 220 Comparing flow-based binding-time analyses
  39. Altmetric Badge
    Chapter 221 Can you trust your data
  40. Altmetric Badge
    Chapter 222 Static and dynamic processor allocation for higher-order concurrent languages
  41. Altmetric Badge
    Chapter 223 Mechanized inductive proof of properties of a simple code optimizer
  42. Altmetric Badge
    Chapter 224 Describing a Signal Analyzer in the process algebra PMC — A case study
  43. Altmetric Badge
    Chapter 225 A gentle introduction to specification engineering using a case study in telecommunications
  44. Altmetric Badge
    Chapter 226 Precise interprocedural dataflow analysis with applications to constant propagation
  45. Altmetric Badge
    Chapter 227 Formal specification and prototyping of a program specializer
  46. Altmetric Badge
    Chapter 228 Proving the correctness of recursion-based automatic program transformations
  47. Altmetric Badge
    Chapter 229 Reactive system specification and refinement
  48. Altmetric Badge
    Chapter 230 Measuring concurrency of regular distributed computations
  49. Altmetric Badge
    Chapter 231 Non-speculative and upward invocation of continuations in a parallel language
  50. Altmetric Badge
    Chapter 232 A model inference system for generic specification with application to code sharing
  51. Altmetric Badge
    Chapter 233 Relations as abstract datatypes: An institution to specify relations between algebras
  52. Altmetric Badge
    Chapter 234 Performance-oriented formal specifications — the LotoTis approach
  53. Altmetric Badge
    Chapter 235 Signal: A formal design environment for real-time systems
  54. Altmetric Badge
    Chapter 236 The META-Frame: An environment for flexible tool management
  55. Altmetric Badge
    Chapter 237 STeP: The Stanford Temporal Prover
  56. Altmetric Badge
    Chapter 238 The HOL-UNITY verification system
  57. Altmetric Badge
    Chapter 239 PLATO: A tool to assist programming as term rewriting and theorem proving
  58. Altmetric Badge
    Chapter 240 LOFT: A tool for assisting selection of test data sets from algebraic specifications
  59. Altmetric Badge
    Chapter 241 The SMoLCS ToolSet
  60. Altmetric Badge
    Chapter 242 The Asf+Sdf Meta-environment documentation tools for free
  61. Altmetric Badge
    Chapter 243 The B-Toolkit demonstration
  62. Altmetric Badge
    Chapter 244 Object Oriented Semantics Directed Compiler Generation: A prototype
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
patent
2 patents
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
12 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
TAPSOFT '95: Theory and Practice of Software Development
Published by
Springer, Berlin, Heidelberg, January 1995
DOI 10.1007/3-540-59293-8
ISBNs
978-3-54-059293-8, 978-3-54-049233-7
Editors

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.