Výsledky vyhľadávania - ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.9: Retractable computer

A theory of retractable and speculative contracts

Autori: Barbanera, Franco Lanese, Ivan de'Liguoro, Ugo

Prispievatelia: Barbanera, Franco Lanese, Ivan de'Liguoro, Ugo

Zdroj: Science of Computer Programming. 167:25-50

Predmety: Behavioral contracts Backtracking Speculative execution Compliance Reversible computing, Backtracking, Behavioral contracts, Compliance, Reversible computing, Speculative execution, Software, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, compliance, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], 3. Good health, backtracking, 0202 electrical engineering, electronic engineering, information engineering, reversible computing, speculative execution, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.inria.fr/hal-01912858/file/SCP-Main.pdf
https://hal.archives-ouvertes.fr/hal-01912858v1
https://www.sciencedirect.com/science/article/pii/S0167642318302636#!
https://dblp.uni-trier.de/db/journals/scp/scp167.html#BarbaneraLd18
https://hal.inria.fr/hal-01912858
https://hal.inria.fr/hal-01912858/document
https://cris.unibo.it/handle/11585/653075
https://hdl.handle.net/11585/653075
https://doi.org/10.1016/j.scico.2018.06.005
https://hdl.handle.net/2318/1672252
https://doi.org/10.1016/j.scico.2018.06.005

Retractable Contracts

Autori: Barbanera, Franco Dezani-Ciancaglini, Mariangiola Lanese, Ivan a ďalší

Prispievatelia: Barbanera, Franco Dezani-Ciancaglini, Mariangiola Lanese, Ivan a ďalší

Zdroj: Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software ; https://inria.hal.science/hal-01227693 ; Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom

Predmety: Compliance, Behavioural contracts, Backtracking, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: London, United Kingdom

Dostupnosť: https://inria.hal.science/hal-01227693
https://inria.hal.science/hal-01227693v1/document
https://inria.hal.science/hal-01227693v1/file/bdll.pdf

ASPLOS-IV proceedings : fourth international conference on architectural support for programming languages and operating systems : Santa Clara, California, April 8-11, 1991 / spons. by ACM in coop. with the IEEE Computer Society.

Autori: International Conference on Architectural Support for Programming Languages and Operating Systems (4 ; 1991 ; Santa Clara). Association for Computing Machinery. Institute of Electrical and Electronics Engineers. Computer Society.

Prispievatelia: International Conference on Architectural Support for Programming Languages and Operating Systems (4 ; 1991 ; Santa Clara). Association for Computing Machinery. Institute of Electrical and Electronics Engineers. Computer Society.

Zdroj: Bibliogr. przy rozdz.
Index.

Predmety: Sieci komputerowe, Komputery -- konferencje

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1759164&theme=nukat

Planning and monitoring the execution of web service requests.

Autori: Lazovik, Alexander Aiello, Marco Papazoglou, Mike

Zdroj: International Journal on Digital Libraries; Jun2006, Vol. 6 Issue 3, p235-246, 12p

Predmety: WEB services, PROGRAMMING languages, INTERNET, APPLICATION software, INFORMATION technology, COMPUTER service industry, COMPUTER software, ELECTRONIC data processing, COMPUTERS

Software requirements prioritization and selection using linguistic tools and constraint solvers-a controlled experiment.

Autori: McZara, Jason Sarkani, Shahryar Holzer, Thomas a ďalší

Zdroj: Empirical Software Engineering; Dec2015, Vol. 20 Issue 6, p1721-1761, 41p

Predmety: REQUIREMENTS engineering, COMPUTER software development, PROGRAMMING languages, FEASIBILITY studies, RESOURCE management

Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings / J. Hughes (ed.).

Prispievatelia: Hughes, John (1958- ). Springer Nature. pbl ACM Conference (5 ; 1991 ; Cambridge).

Zdroj: Bibliogr. przy poszczególnych referatach.

Predmety: Języki programowania funkcyjnego -- konferencje, Architektura komputerów -- konferencje

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1596742&theme=nukat

From use case maps to executable test procedures: a scenario-based approach.

Autori: Kesserwan, Nader Dssouli, Rachida Bentahar, Jamal a ďalší

Zdroj: Software & Systems Modeling; Apr2019, Vol. 18 Issue 2, p1543-1570, 28p

Predmety: TEST systems, SYSTEMS software, LANGUAGE ability testing, SEISMIC testing, TESTING, NATURAL languages, AUTOMATION software

Retractable and Speculative Contracts

Autori: Barbanera, Franco Lanese, Ivan de 'Liguoro, Ugo a ďalší

Prispievatelia: Barbanera, Franco Lanese, Ivan de 'Liguoro, Ugo a ďalší

Zdroj: Lecture Notes in Computer Science ; 19th International Conference on Coordination Languages and Models (COORDINATION) ; https://inria.hal.science/hal-01633262 ; 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩

Predmety: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Neuchâtel, Switzerland

Relation: info:eu-repo/grantAgreement//COST Action IC1405/EU/Reversible computation - extending horizons of computing /IC1405; info:eu-repo/grantAgreement//COST Action CA15123 /EU/The European research network on types for programming and verification /EUTYPES

Dostupnosť: https://inria.hal.science/hal-01633262
https://inria.hal.science/hal-01633262v1/document
https://inria.hal.science/hal-01633262v1/file/mainCOORD.pdf
https://doi.org/10.1007/978-3-319-59746-1_7

Retractable Contracts

Autori: Barbanera Franco Dezani-Ciancaglini Mariangiola Lanese Ivan a ďalší

Prispievatelia: Barbanera Franco Dezani-Ciancaglini Mariangiola Lanese Ivan a ďalší

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 61-72 (2016)

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Backtracking, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, Behavioural contracts, 16. Peace & justice, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Compliance, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: https://arxiv.org/pdf/1602.03595
http://arxiv.org/abs/1602.03595
https://doaj.org/article/3a942061158747a9a0c8027b527731e9
https://inria.hal.science/hal-01227693v1
https://arxiv.org/pdf/1602.03595
https://arxiv.org/abs/1602.03595
https://hdl.handle.net/2318/2077454
https://doi.org/10.4204/EPTCS.203.5

CHECKPOINT-BASED ROLLBACK RECOVERY IN SESSION-BASED PROGRAMMING.

Autori: MEZZINA, CLAUDIO ANTARES TIEZZI, FRANCESCO YOSHIDA, NOBUKO

Zdroj: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-36, 36p

Predmety: PROGRAMMING languages, LANGUAGE & languages

Computer utterances: Sequence and event in digital architecture.

Autori: Miranda, Pablo

Zdroj: International Journal of Architectural Computing; Dec2017, Vol. 15 Issue 4, p268-284, 17p

Predmety: ARCHITECTURE & technology, HYPERSURFACE architecture, COMPUTERS in architecture, COMPUTER-aided design, ARCHITECTURAL design

New products.

Autori: Michalopoulos

Zdroj: Computer (00189162); 1986, Vol. 19 Issue 6, p81-85, 5p

Proceedings of the 1992 International Conference on Computer Languages : Oakland, California, April 20-23, 1992 / sponsored by IEEE Computer Society, IEEE Computer Society Technical Committe on Computer Languages ; in coop. with ACM SIGPLAN and IFIP Technical Committee 2 ; The Institute of Electrical and Electronics Engineers.

Autori: International Conference on Computer Languages (1992 ; Oakland). Institute of Electrical and Electronics Engineers. Computer Society. Institute of Electrical and Electronics Engineers. Computer Society.,Technical Committee on Computer Languages. Computer Society.,Technical Committee on Computer Languages. a ďalší

Prispievatelia: International Conference on Computer Languages (1992 ; Oakland). Institute of Electrical and Electronics Engineers. Computer Society. Institute of Electrical and Electronics Engineers. Computer Society.,Technical Committee on Computer Languages. Computer Society.,Technical Committee on Computer Languages. a ďalší

Zdroj: Bibliogr. przy art.
Indeks.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756273&theme=nukat

Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium of Principles Programming Languages : POPL'09 : Savannah, Georgia, USA January 21-23, 2009 / in co-operat. with: ACM SIGACT.
Thirty-sixth Symposium of Principles Programming Languages
Symposium of Principles Programming Languages, 36

Autori: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (36 ; 2009 ; Savannah).

Zdroj: Bibliogr. przy ref. Indeks.

Predmety: Języki programowania -- konferencje

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1461954&theme=nukat

Conference record of the twentieth annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Charleston, South Carolina, January 10-13, 1993 / spons. by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN).

Autori: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (20 ; 1993 ; Charleston). Association for Computing Machinery. ACM Special Interest Group for Automata and Computability Theory. a ďalší

Prispievatelia: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (20 ; 1993 ; Charleston). Association for Computing Machinery. ACM Special Interest Group for Automata and Computability Theory. a ďalší

Zdroj: Bibliogr. przy rozdz.

Predmety: Języki programowania, Języki formalne, Języki programowania -- semantyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1764238&theme=nukat

Conference record of the nineteenth annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Albuquerque, New Mexico, January 19-22, 1992 / spons. by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN).

Autori: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (19 ; 1992 ; Albuquerque). Association for Computing Machinery. ACM Special Interest Group for Automata and Computability Theory. a ďalší

Prispievatelia: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (19 ; 1992 ; Albuquerque). Association for Computing Machinery. ACM Special Interest Group for Automata and Computability Theory. a ďalší

Zdroj: Bibliogr. przy rozdz.

Predmety: Języki programowania, Języki formalne, Języki programowania -- semantyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1764167&theme=nukat

Conference record of POPL '97 : the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Paris, France, 15-17 January 1997 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN).

Autori: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (24 ; 1997 ; Paryż). ACM Special Interest Group for Algorithms and Computation Theory. ACM Special Interest Group on Programming Languages.

Prispievatelia: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (24 ; 1997 ; Paryż). ACM Special Interest Group for Algorithms and Computation Theory. ACM Special Interest Group on Programming Languages.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:809397&theme=nukat

Conveyor belt experiment setup for programmable logic controller education.

Autori: Tepe, Cengiz Aslan, Abidin Sefa Eminoğlu, İlyas

Zdroj: International Journal of Electrical Engineering Education; Jul2023, Vol. 60 Issue 3, p258-272, 15p

Predmety: PROGRAMMABLE controllers, CONVEYOR belts, BELT conveyors, COMPUTER-aided design software, PROGRAMMING languages

Conference record of the seventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 / sponsored by Association for Computing Machinery.

Autori: Annual ACM Symposium on Principles of Programming Languages (7 ; 1980 ; Las Vegas). Association for Computing Machinery.

Prispievatelia: Annual ACM Symposium on Principles of Programming Languages (7 ; 1980 ; Las Vegas). Association for Computing Machinery.

Zdroj: Bibliogr. przy ref.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1291937&theme=nukat

Industry Resources: Products & Services Buyer's Guide.

Zdroj: Canadian Environmental Resource Guide; 2018/2019, p55-462, 408p