Výsledky vyhľadávania - "Luís Caires"

A Spatial-Epistemic Logic for Reasoning about Security Protocols

Autori: Bernardo Toninho Luís Caires

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 51, Iss Proc. SecCo 2010, Pp 1-15 (2011)

Predmety: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Popis súboru: electronic resource

Relation: http://arxiv.org/pdf/1102.5584v1; https://doaj.org/toc/2075-2180

Prístupová URL adresa: https://doaj.org/article/1abdd928f1344995bdfedd82abdff199

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autori: Luís Caires

Typ zdroja: eBook.

Predmet: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Kategórie: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

The Session Abstract Machine

Autori: Luís Caires Bernardo Toninho

Zdroj: Lecture Notes in Computer Science ISBN: 9783031572616
Lecture Notes in Computer Science, Programming Languages and Systems

Propositions-as-types and shared state

Autori: Pedro Rocha Luís Caires

Zdroj: Proceedings of the ACM on Programming Languages. 5:1-30

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3473584
https://dl.acm.org/doi/10.1145/3473584
https://dl.acm.org/doi/pdf/10.1145/3473584
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#RochaC21

Safe Session-Based Concurrency with Shared Linear State

Autori: Pedro Rocha Luís Caires

Zdroj: Lecture Notes in Computer Science ISBN: 9783031300431

A Decade of Dependent Session Types

Autori: Luís Caires Bernardo Toninho Frank Pfenning

Zdroj: 23rd International Symposium on Principles and Practice of Declarative Programming. :1-3

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: https://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#ToninhoCP21

Refinement kinds: type-safe programming with practical type-level computation

Autori: Luís Caires Bernardo Toninho

Zdroj: Proceedings of the ACM on Programming Languages. 3:1-30

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3360557
https://dl.acm.org/doi/10.1145/3360557
https://dl.acm.org/doi/pdf/10.1145/3360557
https://doi.org/10.1145/3360557
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#CairesT19

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Autori: Christel Baier Luís Caires Ifip, Hal

Prispievatelia: Christel Baier Luís Caires Ifip, Hal

Zdroj: Lecture Notes in Computer Science ISBN: 9783319926117

Predmety: [INFO] Computer Science [cs], 7. Clean energy

Prístupová URL adresa: https://hal.inria.fr/hal-01824818/file/IFIPLNCS10854DL_2018_BookFrontmatter.pdf
https://inria.hal.science/hal-01824818v1
https://doi.org/10.1007/978-3-319-92612-4
https://hal.inria.fr/hal-01824818

Elimination of quantifiers and undecidability in spatial logics for concurrency

Autori: Etienne Lozes Luís Caires

Zdroj: Lecture Notes in Computer Science ISBN: 9783540229407

Predmety: Concurrency, 0202 electrical engineering, electronic engineering, information engineering, Expressiveness, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Undecidability, Spatial logic, Theoretical Computer Science, Computer Science(all)

Linear logical relations and observational equivalences for session-based concurrency

Autori: Bernardo Toninho Jorge A. Pérez Frank Pfenning a ďalší

Zdroj: Information and Computation. 239:254-302

Predmety: Strong normalization, FOS: Computer and information sciences, CONFLUENCE, Session types, PI-CALCULUS, GENERICITY, Linear logic, Confluence, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, INTERNAL MOBILITY, Process calculi, Observational equivalences, MOBILE PROCESSES, TERMINATION, 0202 electrical engineering, electronic engineering, information engineering, 89999 Information and Computing Sciences not elsewhere classified, Logical relations, PASSING CALCULI, PROPOSITIONS

Linear logic propositions as session types

Autori: Bernardo Toninho Frank Pfenning Luís Caires

Zdroj: Mathematical Structures in Computer Science. 26:367-423

Predmety: FOS: Computer and information sciences, 0202 electrical engineering, electronic engineering, information engineering, 89999 Information and Computing Sciences not elsewhere classified, 02 engineering and technology

Substructural typestates

Autori: Filipe Militão Luís Caires Jonathan Aldrich

Zdroj: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification. :15-26

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: https://dl.acm.org/doi/10.1145/2541568.2541574

A Spatial Logic for Concurrency (Part I)

Autori: Luís Caires Luca Cardelli

Zdroj: Lecture Notes in Computer Science ISBN: 9783540427360
Lecture Notes in Computer Science ISBN: 9783540440437

Predmety: Computational Theory and Mathematics, 4. Education, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 7. Clean energy, Theoretical Computer Science, Information Systems, Computer Science Applications, 12. Responsible consumption

Prístupová URL adresa: https://link.springer.com/chapter/10.1007%2F3-540-45694-5_15
http://dblp.uni-trier.de/db/conf/concur/concur2002.html#CairesC02
https://rd.springer.com/chapter/10.1007/3-540-45694-5_15
https://dblp.uni-trier.de/db/conf/concur/concur2002.html#CairesC02
https://core.ac.uk/display/24496568
https://rd.springer.com/chapter/10.1007%2F3-540-45500-0_1
https://link.springer.com/10.1007%2F3-540-45500-0_1
https://novaresearch.unl.pt/en/publications/a-spatial-logic-for-concurrency-part-i-3
https://link.springer.com/chapter/10.1007/3-540-45500-0_1
https://www.sciencedirect.com/science/article/pii/S0890540103001378
https://www.microsoft.com/en-us/research/publication/a-spatial-logic-for-concurrency-part-i/

The type discipline of behavioral separation

Autori: Luís Caires João Costa Seco

Zdroj: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :275-286

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: http://www-ctp.di.fct.unl.pt/%7Elcaires/papers/bst-TR.pdf
https://dl.acm.org/citation.cfm?doid=2429069.2429103
http://ctp.di.fct.unl.pt/%7Elcaires/papers/bst-TR.pdf
https://dblp.uni-trier.de/db/conf/popl/popl2013.html#CairesS13
http://docentes.fct.unl.pt/sites/default/files/jrcs/files/bst-tr.pdf
https://docentes.fct.unl.pt/sites/default/files/jrcs/files/bst-tr.pdf
https://dl.acm.org/doi/10.1145/2429069.2429103

Towards concurrent type theory

Autori: Bernardo Toninho Frank Pfenning Luís Caires

Zdroj: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. :1-12

Predmety: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

Dependent session types via intuitionistic linear type theory

Autori: Frank Pfenning Bernardo Toninho Luís Caires

Zdroj: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. :161-172

Predmety: FOS: Computer and information sciences, 0202 electrical engineering, electronic engineering, information engineering, 89999 Information and Computing Sciences not elsewhere classified, 02 engineering and technology

Prístupová URL adresa: http://www-2.cs.cmu.edu/%7Efp/papers/ppdp11.pdf
http://www.cs.cmu.edu/~btoninho/ppdp11.pdf
https://dl.acm.org/doi/10.1145/2003476.2003499
http://repository.cmu.edu/compsci/2677/
http://www.cs.cmu.edu/~fp/papers/ppdp11.pdf
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2011.html#ToninhoCP11
https://core.ac.uk/display/21791900

Aliasing control with view-based typestate

Autori: Filipe Militão Luís Caires Jonathan Aldrich

Zdroj: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. :1-7

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice

Prístupová URL adresa: http://www.cs.cmu.edu/%7Efoliveir/papers/ftfjp2010.pdf
https://dl.acm.org/doi/10.1145/1924520.1924527
https://novaresearch.unl.pt/en/publications/aliasing-control-with-view-based-typestate
http://www.cs.cmu.edu/~aldrich/papers/ftfjp2010-view.pdf
https://core.ac.uk/display/21295957
http://portal.acm.org/citation.cfm?doid=1924520.1924527
https://dblp.uni-trier.de/db/conf/ecoop/ftfjp2010.html#MilitaoAC10

Linearity, Control Effects, and Behavioral Types

Autori: Jorge A. Pérez Luís Caires

Zdroj: Lecture Notes in Computer Science ISBN: 9783662544334

Predmety: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Prístupová URL adresa: https://ir.cwi.nl/pub/25748/ESOP4993.pdf
https://ir.cwi.nl/pub/25748/ESOP4993.pdf
https://dblp.uni-trier.de/db/conf/esop/esop2017.html#CairesP17
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A25748
https://research.rug.nl/en/publications/linearity-control-effects-and-behavioral-types
http://www.rug.nl/research/portal/publications/linearity-control-effects-and-behavioral-types(355b9456-a6e0-40b2-9d19-1e52444381ff).html
https://core.ac.uk/display/86349144

Spatial-behavioral types for concurrency and resource control in distributed systems

Autori: Luís Caires

Zdroj: Theoretical Computer Science. 402:120-141

Predmety: Service-based systems, Behavioral types, Spatial logics, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Distributed systems, Concurrency control, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/tcs/tcs402.html#Caires08
https://core.ac.uk/display/82478643
https://www.sciencedirect.com/science/article/pii/S0304397508003496
https://novaresearch.unl.pt/en/publications/spatial-behavioral-types-for-concurrency-and-resource-control-in--2
http://ctp.di.fct.unl.pt/~lcaires/papers/TCSTSBTfinal.pdf

A spatial logic for concurrency—II: A spatial logic for concurrency. II

Autori: Luís Caires Luca Cardelli

Zdroj: Theoretical Computer Science. 322:517-565

Predmety: distributed systems, Logic in computer science, Specification and verification (program logics, model checking, etc.), \(\pi\)-calculus, Verification, 0102 computer and information sciences, proof theory, Distributed systems, 16. Peace & justice, cut elimination, 01 natural sciences, Theoretical Computer Science, sequent calculus, Spatial logics, Proof systems, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), concurrency, Cut-elimination and normal-form theorems, 0101 mathematics, Specification, Modal logic (including the logic of norms), spatial logic, modal logic, Computer Science(all)

Popis súboru: application/xml