TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 [1 ed.] 3540539824, 9783540539827

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was hel

285 56 4MB

English Pages 455 [463] Year 1991

Report DMCA / Copyright

DOWNLOAD DJVU FILE

Table of contents :
Full abstraction for series-parallel pomsets....Pages 1-25
On causality observed incrementally, finally....Pages 26-41
On the domain of traces and sequential composition....Pages 42-56
Compilation of pattern matching with associative-commutative functions....Pages 57-73
Linear bounded automata and rewrite systems : Influence of initial configurations on decision properties....Pages 74-89
Algebraic graph rewriting using a single pushout....Pages 90-102
Unifying initial and loose semantics of parameterized specifications in an arbitrary institution....Pages 103-120
Non-strict don't care algebras and specifications....Pages 121-142
Program specification and data refinement in type theory....Pages 143-168
Static analysis of linear congruence equalities among variables of a program....Pages 169-192
Simple solutions for approximate tree matching problems....Pages 193-201
The tree inclusion problem....Pages 202-214
Introducing a calculus of trees....Pages 215-240
Domains in a realizability framework....Pages 241-263
Iteration algebras extended abstract....Pages 264-274
Logic programming as hypergraph Rewriting....Pages 275-295
A fully abstract model for concurrent constraint programming....Pages 296-319
A solved form algorithm for ask and tell Herbrand constraints....Pages 320-337
A calculus of broadcasting systems....Pages 338-358
Object-based concurrency : A process calculus analysis....Pages 359-380
On the complexity of equation solving in process algebra....Pages 381-396
Comparative semantics for a real-time programming language with integration....Pages 397-411
A complete proof system for timed observations....Pages 412-440
Type inference with inequalities....Pages 441-455

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 [1 ed.] 3540539824, 9783540539827

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers
TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 [1 ed.] 3540176608, 9783540176602
TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 [1 ed.] 3540176608, 9783540176602

274 9 182KB Read more

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989 [1 ed.] 3540509399, 9783540509394
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989 [1 ed.] 3540509399, 9783540509394

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barc

281 9 4MB Read more

Advances in Cryptology — EUROCRYPT ’91: Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings
Advances in Cryptology — EUROCRYPT ’91: Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings

289 72 410KB Read more

Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings [1 ed.] 3540254110, 9783540254119
Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings [1 ed.] 3540254110, 9783540254119

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an ann

296 41 3MB Read more

Knowledge-Based Software Engineering: 2022: Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering 3031175824, 9783031175824
Knowledge-Based Software Engineering: 2022: Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering 3031175824, 9783031175824

This book contains extended versions of  the works and new research results presented at the 14th International Joint Co

323 109 5MB Read more

Advances in Cryptology - EUROCRYPT '91: Workshop on the Theory and Application of Cryptographic Techniques, Brighton, UK, April 8-11, 1991. Proceedings (Lecture Notes in Computer Science) [1 ed.] 3540546200, 9783540546207
Advances in Cryptology - EUROCRYPT '91: Workshop on the Theory and Application of Cryptographic Techniques, Brighton, UK, April 8-11, 1991. Proceedings (Lecture Notes in Computer Science) [1 ed.] 3540546200, 9783540546207

Book by

104 97 5MB Read more

Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [1 ed.] 364200721X, 9783642007217
Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [1 ed.] 364200721X, 9783642007217

This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, h

332 25 4MB Read more

Compiler Construction: 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings [1 ed.] 3540643044, 9783540643043
Compiler Construction: 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings [1 ed.] 3540643044, 9783540643043

This book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, CC '98

306 40 4MB Read more

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings [1 ed.] 354067263X, 9783540672630
Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings [1 ed.] 354067263X, 9783540672630

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual

314 33 4MB Read more

Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings [1 ed.] 354041861X, 9783540418610
Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings [1 ed.] 354041861X, 9783540418610

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an ann

332 51 3MB Read more

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree Cookies