Theoretical Aspects of Computer Software

International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings

AvMasami Hagiya,John C. Mitchell

Häftad, Engelska, 1994

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

571 kr

Häftad

1 135 kr

Häftad

1 135 kr

Beskrivning

This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.

Produktinformation

Utgivningsdatum:1994-03-30
Mått:155 x 235 x 49 mm
Vikt:1 346 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:892
Upplaga:1994
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540578871

Utforska kategorier

Programvaruutveckling inom Data och IT
Affärsapplikationer inom Data och IT

Innehållsförteckning

Full Abstraction for PCF (extended abstract).- Fully abstract semantics for concurrent ?-calculus.- An operational approach to combining classical set theory and functional programming languages.- ML typing, explicit polymorphism and qualified types.- Extensions to type systems can preserve operational equivalences.- Constraint programming and database query languages.- Intuitionistic resolution for a logic programming language with scoping constructs.- Proof by pointing.- A computer-checked verification of Milner's scheduler.- A purely functional language with encapsulated assignment.- Simple termination of hierarchical combinations of term rewriting systems.- Separate abstract interpretation for control-flow analysis.- Extensible denotational language specifications.- A normalizing calculus with overloading and subtyping.- A theory of primitive objects.- Programming objects with ML-ART an extension to ML with abstract and record types.- A type system for a lambda calculus with assignments.- Theory and practice of Concurrent Object-Oriented Computing.- The family relation in Interaction Systems.- On syntactic and semantic action refinement.- Locality and true-concurrency in calculi for mobile processes.- Term rewriting properties of SOS axiomatisations.- The tyft/tyxt format reduces to tree rules.- Undecidable equivalences for basic parallel processes.- Normal proofs and their grammar.- A symmetric lambda calculus for “classical” program extraction.- The ? ?-calculus.- Syntactic definitions of undefined: On defining the undefined.- Discovering needed reductions using type theory.- Nontraditional applications of automata theory.- Abstract pre-orders.- Categorical models of relational databases I: Fibrational formulation, schema integration.- Petri nets, Hornprograms, Linear Logic, and vector games.- A complete type inference system for subtyped recursive types.- Subtyping with union types, intersection types and recursive types.- A decidable intersection type system based on relevance.- Temporal verification diagrams.- A semantic theory for Concurrent ML.- Replication in concurrent combinators.- Transitions as interrupts: A new semantics for timed statecharts.- Relating multifunctions and predicate transformers through closure operators.- Notes on typed object-oriented programming.- Observing truly concurrent processes.

Mer från samma författare

DNA Computing

Masami Hagiya, Azuma Ohuchi

Häftad, 2003

556 kr

Functional and Logic Programming

Masami Hagiya, Philip Wadler

Häftad, 2006

571 kr

Functional and Logic Programming

Philip Wadler, Masami Hagiya

E-bok

2006

739 kr

DNA Computing

Azuma Ohuchi, Masami Hagiya

E-bok

2003

718 kr

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Takayasu Ito, Peter D. Mosses, Masami Hagiya, Osamu Watanabe, Jan van Leeuwen

E-bok

2000

1 470 kr

Logic, Language and Computation

Neil Jones, Masami Hagiya, Masahiko Sato

Häftad, 1994

571 kr

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito

Häftad, 2000

1 135 kr

Unconventional Computation

Christian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jonathan Timmis

Häftad, 2010

554 kr

Unconventional Computation

Jonathan Timmis, Grzegorz Rozenberg, Kenichi Morita, Masami Hagiya, Christian S. Calude

E-bok

2010

718 kr

Recent Advances in Natural Computing

Yasuhiro Suzuki, Masami Hagiya

Inbunden, 2014

1 105 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, 2000

571 kr

Del 13216

Requirements Engineering: Foundation for Software Quality

Vincenzo Gervasi, Andreas Vogelsang

Häftad, 2022

627 kr

Component-Based Software Engineering

Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford

Häftad, 2007

571 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Foundations for Programming Languages

John C. Mitchell

Inbunden, 1996

192 kr

Art Crime

John E Conklin

Inbunden, 1994

1 225 kr

Writing in the Technical Fields

Mike Markel

Häftad, 1994

1 321 kr

Mexican Border Cities

Daniel D. Arreola, James R. Curtis

Häftad, 1994

340 kr

Concepts in Programming Languages

John C. Mitchell

Inbunden, 2002

1 296 kr

Modern västerländsk buddhistisk "Dödsbok" eller Konsten att Dö

Todde Salén

Häftad, 1994

116 kr

Programming Language Ada. Reference Manual

David Hutchison, Takeo Kanade, Josef Kittler, Jon Kleinberg, Alfred Kobsa, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar M. Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Sudan Madhu, Demetri Terzopoulos, J. Doug Tygar, Gerhard Weikum

Häftad, 1983

911 kr

South Florida Folklife

Tina Bucuvalas, Peggy A. Bulger, Stetson Kennedy

Häftad, 1994

393 kr

Critical Response to George Eliot

Karen Pangallo

Inbunden, 1994

885 kr

Theoretical Aspects of Computer Software

International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings

AvMasami Hagiya,John C. Mitchell

Häftad, Engelska, 1994

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

571 kr

Häftad

1 135 kr

Häftad

1 135 kr

Beskrivning

Produktinformation

Utgivningsdatum:1994-03-30
Mått:155 x 235 x 49 mm
Vikt:1 346 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:892
Upplaga:1994
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540578871

Utforska kategorier

Programvaruutveckling inom Data och IT
Affärsapplikationer inom Data och IT

Innehållsförteckning

Full Abstraction for PCF (extended abstract).- Fully abstract semantics for concurrent ?-calculus.- An operational approach to combining classical set theory and functional programming languages.- ML typing, explicit polymorphism and qualified types.- Extensions to type systems can preserve operational equivalences.- Constraint programming and database query languages.- Intuitionistic resolution for a logic programming language with scoping constructs.- Proof by pointing.- A computer-checked verification of Milner's scheduler.- A purely functional language with encapsulated assignment.- Simple termination of hierarchical combinations of term rewriting systems.- Separate abstract interpretation for control-flow analysis.- Extensible denotational language specifications.- A normalizing calculus with overloading and subtyping.- A theory of primitive objects.- Programming objects with ML-ART an extension to ML with abstract and record types.- A type system for a lambda calculus with assignments.- Theory and practice of Concurrent Object-Oriented Computing.- The family relation in Interaction Systems.- On syntactic and semantic action refinement.- Locality and true-concurrency in calculi for mobile processes.- Term rewriting properties of SOS axiomatisations.- The tyft/tyxt format reduces to tree rules.- Undecidable equivalences for basic parallel processes.- Normal proofs and their grammar.- A symmetric lambda calculus for “classical” program extraction.- The ? ?-calculus.- Syntactic definitions of undefined: On defining the undefined.- Discovering needed reductions using type theory.- Nontraditional applications of automata theory.- Abstract pre-orders.- Categorical models of relational databases I: Fibrational formulation, schema integration.- Petri nets, Hornprograms, Linear Logic, and vector games.- A complete type inference system for subtyped recursive types.- Subtyping with union types, intersection types and recursive types.- A decidable intersection type system based on relevance.- Temporal verification diagrams.- A semantic theory for Concurrent ML.- Replication in concurrent combinators.- Transitions as interrupts: A new semantics for timed statecharts.- Relating multifunctions and predicate transformers through closure operators.- Notes on typed object-oriented programming.- Observing truly concurrent processes.

Mer från samma författare

DNA Computing

Masami Hagiya, Azuma Ohuchi

Häftad, 2003

556 kr

Functional and Logic Programming

Masami Hagiya, Philip Wadler

Häftad, 2006

571 kr

Functional and Logic Programming

Philip Wadler, Masami Hagiya

E-bok

2006

739 kr

DNA Computing

Azuma Ohuchi, Masami Hagiya

E-bok

2003

718 kr

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Takayasu Ito, Peter D. Mosses, Masami Hagiya, Osamu Watanabe, Jan van Leeuwen

E-bok

2000

1 470 kr

Logic, Language and Computation

Neil Jones, Masami Hagiya, Masahiko Sato

Häftad, 1994

571 kr

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito

Häftad, 2000

1 135 kr

Unconventional Computation

Christian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jonathan Timmis

Häftad, 2010

554 kr

Unconventional Computation

Jonathan Timmis, Grzegorz Rozenberg, Kenichi Morita, Masami Hagiya, Christian S. Calude

E-bok

2010

718 kr

Recent Advances in Natural Computing

Yasuhiro Suzuki, Masami Hagiya

Inbunden, 2014

1 105 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051