Search Results - acm: f.: theory of computation/f.3: logics AND meanings of progress

1

Functional programming with λ$-tree$ syntax: a progress report

Authors: Gérard, Ulysse Miller, Dale Proof search and reasoning with logic specifications (PARSIFAL) et al.

Contributors: Gérard, Ulysse Miller, Dale Proof search and reasoning with logic specifications (PARSIFAL) et al.

Source: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
https://inria.hal.science/hal-01806129
13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom

Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.1: Functional constructs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Oxford, United Kingdom

Availability: https://inria.hal.science/hal-01806129
https://inria.hal.science/hal-01806129v2/document
https://inria.hal.science/hal-01806129v2/file/paper%20%281%29.pdf

View record from BASE

Nájsť tento článok vo Web of Science

2

Functional programming with λ$-tree$ syntax: a progress report

Authors: Gérard, Ulysse Miller, Dale Proof search and reasoning with logic specifications (PARSIFAL) et al.

Contributors: Gérard, Ulysse Miller, Dale Proof search and reasoning with logic specifications (PARSIFAL) et al.

Source: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
https://inria.hal.science/hal-01806129
13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom

Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.1: Functional constructs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Oxford, United Kingdom

Availability: https://inria.hal.science/hal-01806129
https://inria.hal.science/hal-01806129v2/document
https://inria.hal.science/hal-01806129v2/file/paper%20%281%29.pdf

View record from BASE

Nájsť tento článok vo Web of Science

3

Functional programming with λ$-tree$ syntax: a progress report

Authors: Gérard, Ulysse Miller, Dale Proof search and reasoning with logic specifications (PARSIFAL) et al.

Contributors: Gérard, Ulysse Miller, Dale Proof search and reasoning with logic specifications (PARSIFAL) et al.

Source: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
https://hal.inria.fr/hal-01806129
13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom

Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.1: Functional constructs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Oxford, United Kingdom

Relation: hal-01806129; https://hal.inria.fr/hal-01806129; https://hal.inria.fr/hal-01806129v2/document; https://hal.inria.fr/hal-01806129v2/file/paper%20%281%29.pdf

Availability: https://hal.inria.fr/hal-01806129
https://hal.inria.fr/hal-01806129v2/document
https://hal.inria.fr/hal-01806129v2/file/paper%20%281%29.pdf

View record from BASE

Nájsť tento článok vo Web of Science

4

Concurrent Reversible Sessions ; Concurrent Reversible Sessions *

Authors: Castellani, Ilaria Dezani-Ciancaglini, Mariangiola Giannini, Paola et al.

Contributors: Castellani, Ilaria Dezani-Ciancaglini, Mariangiola Giannini, Paola et al.

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; CONCUR 2017 - 28th International Conference on Concurrency Theory ; https://inria.hal.science/hal-01639845 ; CONCUR 2017 - 28th International Conference on Concurrency Theory, Roland Meyer; Uwe Nestmann, Sep 2017, Berlin, Germany. pp.1-17, ⟨10.4230/LIPIcs.CONCUR.2017.30⟩

Subject Terms: Reversible Computation, Keywords and phrases Communication-centric Systems, F33 Type Structure, Multiparty Session Types, 1998 ACM Subject Classification F12 Parallelism and Concurrency, Process Calculi, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.3: Parallelism and concurrency, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.4: Type structure, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Berlin, Germany

Availability: https://inria.hal.science/hal-01639845
https://inria.hal.science/hal-01639845v1/document
https://inria.hal.science/hal-01639845v1/file/LIPIcs-CONCUR-2017-30.pdf
https://doi.org/10.4230/LIPIcs.CONCUR.2017.30

View record from BASE

Nájsť tento článok vo Web of Science

5

Concurrent Reversible Sessions ; Concurrent Reversible Sessions *

Authors: Castellani, Ilaria Dezani-Ciancaglini, Mariangiola Giannini, Paola et al.

Contributors: Castellani, Ilaria Dezani-Ciancaglini, Mariangiola Giannini, Paola et al.

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; CONCUR 2017 - 28th International Conference on Concurrency Theory ; https://hal.inria.fr/hal-01639845 ; CONCUR 2017 - 28th International Conference on Concurrency Theory, Roland Meyer; Uwe Nestmann, Sep 2017, Berlin, Germany. pp.1-17, ⟨10.4230/LIPIcs.CONCUR.2017.30⟩

Subject Terms: 1998 ACM Subject Classification F12 Parallelism and Concurrency, Multiparty Session Types, Process Calculi, Reversible Computation, Keywords and phrases Communication-centric Systems, F33 Type Structure, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.3: Parallelism and concurrency, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.4: Type structure, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Berlin, Germany

Relation: hal-01639845; https://hal.inria.fr/hal-01639845; https://hal.inria.fr/hal-01639845/document; https://hal.inria.fr/hal-01639845/file/LIPIcs-CONCUR-2017-30.pdf

Availability: https://hal.inria.fr/hal-01639845
https://hal.inria.fr/hal-01639845/document
https://hal.inria.fr/hal-01639845/file/LIPIcs-CONCUR-2017-30.pdf
https://doi.org/10.4230/LIPIcs.CONCUR.2017.30

View record from BASE

Nájsť tento článok vo Web of Science

6

iRho: An Imperative Rewriting Calculus [Extended Abstract]

Authors: Liquori, Luigi Serpette, Bernard, P. Objects, types and prototypes : semantics and validation (MIRHO) et al.

Contributors: Liquori, Luigi Serpette, Bernard, P. Objects, types and prototypes : semantics and validation (MIRHO) et al.

Source: Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) ; https://inria.hal.science/hal-01149659 ; Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), Aug 2004, Verona, Italy. pp.167-178, ⟨10.1145/1013963.1013983⟩

Subject Terms: Pattern-Matching, Types, Rewriting-calculus, Term Rewriting Systems, Certified Software, Natural Semantics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.4: Mechanical theorem proving, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Verona, Italy

Availability: https://inria.hal.science/hal-01149659
https://inria.hal.science/hal-01149659v1/document
https://inria.hal.science/hal-01149659v1/file/2004-ppdp-04.pdf
https://doi.org/10.1145/1013963.1013983

View record from BASE

Nájsť tento článok vo Web of Science

7

iRho: An Imperative Rewriting Calculus [Extended Abstract]

Authors: Liquori, Luigi Serpette, Bernard, P. Objects, types and prototypes : semantics and validation (MIRHO) et al.

Contributors: Liquori, Luigi Serpette, Bernard, P. Objects, types and prototypes : semantics and validation (MIRHO) et al.

Source: Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) ; https://inria.hal.science/hal-01149659 ; Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), Aug 2004, Verona, Italy. pp.167-178, ⟨10.1145/1013963.1013983⟩

Subject Terms: Pattern-Matching, Types, Rewriting-calculus, Term Rewriting Systems, Certified Software, Natural Semantics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.4: Mechanical theorem proving, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Verona, Italy

Availability: https://inria.hal.science/hal-01149659
https://inria.hal.science/hal-01149659v1/document
https://inria.hal.science/hal-01149659v1/file/2004-ppdp-04.pdf
https://doi.org/10.1145/1013963.1013983

View record from BASE

Nájsť tento článok vo Web of Science

8

iRho: An Imperative Rewriting Calculus [Extended Abstract]

Authors: Liquori, Luigi Serpette, Bernard Objects, types and prototypes : semantics and validation (MIRHO) et al.

Contributors: Liquori, Luigi Serpette, Bernard Objects, types and prototypes : semantics and validation (MIRHO) et al.

Source: Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) ; https://hal.inria.fr/hal-01149659 ; Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), Aug 2004, Verona, Italy. pp.167-178, ⟨10.1145/1013963.1013983⟩

Subject Terms: Term Rewriting Systems, Rewriting-calculus, Types, Pattern-Matching, Natural Semantics, Certified Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.4: Mechanical theorem proving, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]