Výsledky vyhledávání - "Semantics of Programming Languages—Algebraic approaches to semantics"

A Calculus for Team Automata

Autoři: ter Beek M. GADDUCCI, FABIO Janssens D.

Zdroj: Brazilian Symposium on Formal Methods (SBMF'06), pp. 41–55, Natal, Rio Grande do Norte, Brazil, 17-23 Settembre 2006
info:cnr-pdr/source/autori:Ter Beek M. H.; Gadducci F.; Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Brazil/congresso_data:17-23 Settembre 2006/anno:2008/pagina_da:41/pagina_a:55/intervallo_pagine:41–55
Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Br, 17-23/09/2017
info:cnr-pdr/source/autori:Ter Beek M., Gadducci F., Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Br/congresso_data:17-23%2F09%2F2017/anno:2006/pagina_da:/pagina_a:/intervallo_pagine
ISTI Technical reports, 2005
Brazilian Symposium on Formal Methods, 59-72, Universitate Federal do Rio Grande do Sul, Natal, Brazil, September 17-23, 2006
Electronic notes in theoretical computer science

Témata: Computer. Automation, process calculi, Semantics of Programming Languages. Algebraic approaches to semantics, Semantics of Programming Languages. Process models, F.1.1 Models of Computation. Automata, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, Team automata, Theoretical Computer Science, F.3.2 Models of Computation. Relations between models, 0202 electrical engineering, electronic engineering, information engineering, Compositional specification, Process calculus, Computer Science(all)

Popis souboru: application/pdf; pdf

Přístupová URL adresa: https://publications.cnr.it/doc/120355
http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
http://www.cnr.it/prodotto/i/120355
https://publications.cnr.it/doc/160216
http://www.cnr.it/prodotto/i/160216
https://www.sciencedirect.com/science/article/abs/pii/S157106610800011X
https://core.ac.uk/display/54913895
http://fmt.isti.cnr.it/~mtbeek/SBMF08.pdf
https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs195.html#BeekGJ08
https://arpi.unipi.it/handle/11568/125939
https://hdl.handle.net/20.500.14243/102149
http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
https://hdl.handle.net/20.500.14243/58471
https://doi.org/10.1016/j.entcs.2007.08.022
https://hdl.handle.net/10067/646170151162165141
https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
https://hdl.handle.net/10067/1009270151162165141

Conservative approximations for heterogeneous design

Autoři: Roberto Passerone Jerry R. Burch Alberto L. Sangiovanni a další

Přispěvatelé: Roberto Passerone Jerry R. Burch Alberto L. Sangiovanni a další

Zdroj: http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf.

Témata: Categories and Subject Descriptors F.1.1 [Computation by Abstract Devices, Models of Compu- tation—Relations between models, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Algebraic approaches to semantics, Denotational semantics, I.6.4 [Simula- tion and Modeling, Model Validation and Analysis General Terms Design, Theory, Verification Keywords Approximation, Abstraction, Refinement, Verification, Model of computation, Heterogeneous, Polymorphism

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.2649; http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.2649
http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf

Logic programming revisited: logic programs as inductive definitions

Autoři: Marc Denecker Maurice Bruynooghe Victor Marek a další

Přispěvatelé: Marc Denecker Maurice Bruynooghe Victor Marek a další

Zdroj: http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf.

Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, F.3.2 [Logics And Meanings Of Programs, Semantics of Programming Languages—Algebraic approaches to semantics, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic— Computational logic, Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Languages, Theory

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.7036; http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.7036
http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf

Modelling and Specifying Name Visibility and Binding Semantics

Autoři: Scott A. Vorthmann The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Scott A. Vorthmann The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://reports.adm.cs.cmu.edu/usr/anon/1993/CMU-CS-93-158.ps

Témata: Programming Languages, Formal Definitions and Theory- Semantics, Language Constructs and Features- Modules, Packages, Logics and Meanings of Programs, Semantics of Programming Languages- algebraic approaches to semantics

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.2185

Monadic Combinators for “Putback” Style Bidirectional Programming

Autoři: Hugo Pacheco Zhenjiang Hu Sebastian Fischer a další

Přispěvatelé: Hugo Pacheco Zhenjiang Hu Sebastian Fischer a další

Zdroj: http://www.cs.cornell.edu/~hpacheco/publications/pepm14.pdf.

Témata: Categories and Subject Descriptors D.1.1 [Programming Tech- niques, Applicative (Functional) Programming, D.3.1 [Program- ming Languages, Formal Definitions and Theory, F.3.2 [Log- ics and Meanings of Programs, Semantics of Programming Languages—Algebraic approaches to semantics Keywords bidirectional programm, view update, lenses, Haskell

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.2476; http://www.cs.cornell.edu/~hpacheco/publications/pepm14.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.2476
http://www.cs.cornell.edu/~hpacheco/publications/pepm14.pdf