Výsledky vyhľadávania - "Semantics of Programming Languages—operational semantics General Terms"

A bisimulation-based semantic theory of safe ambients

Autori: Massimo Merro Matthew Hennessy The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Massimo Merro Matthew Hennessy The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.informatics.sussex.ac.uk/users/matthewh/pubs/toplas2005.pdf.

Predmety: Categories and Subject Descriptors, D.3.1 [Programming languages, Formal Definition and Theory—Synax, Semantics, D.1.3 [Programming Techniques, Concurrent Programming— Distributed programming, F.3.2 [Meanings of Programs, Semantics of Programming Languages—Operational semantics General Terms, Languages, Theory Additional Key Words and Phrases, Mobile agents, distributed systems, bisimulation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.519; http://www.informatics.sussex.ac.uk/users/matthewh/pubs/toplas2005.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.519
http://www.informatics.sussex.ac.uk/users/matthewh/pubs/toplas2005.pdf

An Interval Constraint System for Lattice Domains

Autori: Antonio J. Fernández Patricia M. Hill The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Antonio J. Fernández Patricia M. Hill The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.lcc.uma.es/~afdez/Papers/ACM_TOPLAS2004.pdf.

Predmety: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classification—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Constraint, cooperation, indexicals, lattice, propagation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.5251; http://www.lcc.uma.es/~afdez/Papers/ACM_TOPLAS2004.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.5251
http://www.lcc.uma.es/~afdez/Papers/ACM_TOPLAS2004.pdf

I-Structures: Data Structures for Parallel Computing

Autori: Arvind Rishiyur Nikhil Rishiyur S. Nikhil Y (mit The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Arvind Rishiyur Nikhil Rishiyur S. Nikhil Y (mit The Pennsylvania State University CiteSeerX Archives

Zdroj: http://iss.cs.cornell.edu/Publications/Papers/TOPLAS1989.pdf.

Predmety: Programs, Semantics of Programming Languages | Operational Semantics General Terms, Languages Additional Key Words and Phrases, Functional Languages, Parallelism

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5638; http://iss.cs.cornell.edu/Publications/Papers/TOPLAS1989.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5638
http://iss.cs.cornell.edu/Publications/Papers/TOPLAS1989.pdf

Termination, deadlock, and divergence

Autori: L. Aceto M. Hennessy The Pennsylvania State University CiteSeerX Archives

Prispievatelia: L. Aceto M. Hennessy The Pennsylvania State University CiteSeerX Archives

Zdroj: https://www.scss.tcd.ie/Matthew.Hennessy/pubs/old/jacm92.pdf.

Predmety: Categories and Subject Descriptors, D.4.1 [Operating Systems, Process Management—dead[ocks, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—operational semantics General Terms, Languages, Theory

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.3145

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.3145