Search Results - ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory*
-
1
Authors: et al.
Contributors: et al.
Source: ESOP ; https://hal.science/hal-04642776 ; ESOP, May 2025, Hamilton, Ontario, Canada, Canada. pp.88-116, ⟨10.4230/LIPIcs⟩
Subject Terms: Concurrency theory, Software Verification, Observational refinements, Asynchrony, ACM: D.: Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: https://doi.org/10.5281/zenodo.14735088; info:eu-repo/semantics/altIdentifier/arxiv/2501.13002; info:eu-repo/grantAgreement//101003349/EU/A Semantic Foundation for Persistent Programming/PERSIST; ARXIV: 2501.13002
-
2
Authors: et al.
Contributors: et al.
Source: IEEE Transactions on Parallel and Distributed Systems. 23:1240-1254
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, and parallel languages, 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, distributed
File Description: application/pdf
Access URL: http://hal.inria.fr/docs/00/77/77/30/PDF/tpds-2010-12-0720-1.pdf
https://inria.hal.science/hal-00777730v1
http://dblp.uni-trier.de/db/journals/tpds/tpds23.html#MalikGS12
http://ieeexplore.ieee.org/document/6060805/
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000006060805
https://ieeexplore.ieee.org/document/6060805/
https://www.computer.org/csdl/journal/td/2012/07/ttd2012071240/13rRUwInvAG
https://hal.inria.fr/hal-00777730/document -
3
Authors: et al.
Contributors: et al.
Source: 5th ACM SIGPLAN International Work- shop on Functional Art, Music, Modeling and Design (FARM)
https://hal.archives-ouvertes.fr/hal-01571133
5th ACM SIGPLAN International Work- shop on Functional Art, Music, Modeling and Design (FARM), Sep 2017, Oxford, United Kingdom. ⟨10.1145/3122938.3122943⟩Subject Terms: Media arts, Semantics, Model based programming language, Domain specific languages, 3D programming, temporal animation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.5: Computational Geometry and Object Modeling/I.3.5.2: Curve, surface, solid, and object representations, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.6: Methodology and Techniques/I.3.6.4: Languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Subject Geographic: Oxford, United Kingdom
Relation: hal-01571133; https://hal.archives-ouvertes.fr/hal-01571133; https://hal.archives-ouvertes.fr/hal-01571133v2/document; https://hal.archives-ouvertes.fr/hal-01571133v2/file/ArchipoffJanin.pdf
-
4
Authors: et al.
Contributors: et al.
Source: 5ème édition des Journées Nationales du Développement Logiciel (JDEV2020)
https://hal.science/hal-03028515
5ème édition des Journées Nationales du Développement Logiciel (JDEV2020), Jul 2020, Rennes, FranceSubject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods, [SDE.BE]Environmental Sciences/Biodiversity and Ecology, [INFO]Computer Science [cs], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
Relation: info:eu-repo/grantAgreement//654182/EU/Environmental Research Infrastructures Providing Shared Solutions for Science and Society/ENVRI PLUS; info:eu-repo/grantAgreement//824068/EU/ENVironmental Research Infrastructures building Fair services Accessible for society, Innovation and Research/ENVRI FAIR
-
5
Authors: et al.
Contributors: et al.
Source: Formal Aspects of Computing. 28:409-440
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, MDE, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software, 01 natural sciences, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, Formal verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, 0202 electrical engineering, electronic engineering, information engineering, Proof assistant, MOF, Composition
-
6
Authors: et al.
Contributors: et al.
Source: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation ; PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation ; https://inria.hal.science/hal-01512286 ; PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain ; http://pldi17.sigplan.og
Subject Terms: Interactive Theorem Proving (Coq), Verified Compilation, Synchronous Languages (Lustre), ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Spain
Time: Barcelone, Spain
-
7
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-02954492 ; [Research Report] LIG (Laboratoire informatique de Grenoble); LJK / Grenoble University - INRIA. 2020.
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: H.: Information Systems, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2010.00843; ARXIV: 2010.00843
-
8
Authors: et al.
Contributors: et al.
Source: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-01666104 ; Proceedings of the ACM on Programming Languages, 2018, pp.1-30. ⟨10.1145/3158109⟩.
Subject Terms: Refactoring, ML, Ornaments, Logical Relations, Dependent Types, Functional programming, Polymorphism, Data types and structures, Semantics, Software maintenance tools, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.13: Polymorphism, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.6: Data types and structures, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: hal-01666104; https://inria.hal.science/hal-01666104; https://inria.hal.science/hal-01666104/document; https://inria.hal.science/hal-01666104/file/ornaments-popl18-final.pdf
-
9
Authors: et al.
Contributors: et al.
Source: Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 229-249 (2013)
Subject Terms: FOS: Computer and information sciences, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer Science - Programming Languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, QA75.5-76.95, 02 engineering and technology, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Software Engineering (cs.SE), Computer Science - Software Engineering, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: https://arxiv.org/pdf/1309.5141
http://arxiv.org/abs/1309.5141
https://doaj.org/article/d6906b57295d4333bb07deee82fb66d2
https://inria.hal.science/hal-00865381v1/document
https://inria.hal.science/hal-00865381v1
https://doi.org/10.4204/eptcs.129.14
https://arxiv.org/pdf/1309.5141.pdf
http://ui.adsabs.harvard.edu/abs/2013arXiv1309.5141M/abstract
https://arxiv.org/abs/1309.5141 -
10
Authors: et al.
Contributors: et al.
Source: Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on ; LICS 2017 - ACM/IEEE Symposium on Logic in Computer Science ; https://inria.hal.science/hal-01636365 ; LICS 2017 - ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-12, ⟨10.1109/LICS.2017.8005117⟩
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Reykjavik
Time: Reykjavik, Iceland
-
11
Authors: et al.
Contributors: et al.
Source: AOSD 2012 Student Research Competition (Poster) ; https://inria.hal.science/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩
Subject Terms: Formal Methods, Security, Reference Monitors, Aspects, Service-Oriented Architecture, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.0: Abstract data types, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.1: Syntax, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.3: Constraints, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.6: Data types and structures, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.10: Input/output, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.15: Recursion, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.5: Programming by contract, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
-
12
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Programming Languages and Systems. 30:1-32
Subject Terms: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Inheritance, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, Language semantics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Language design, 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.3: Studies of Program Constructs, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], 0202 electrical engineering, electronic engineering, information engineering, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.2: Object-oriented constructs, Java, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages
File Description: application/pdf
Access URL: https://hal.inria.fr/inria-00432538/file/fjtraits.pdf
https://inria.hal.science/inria-00432538v1
https://inria.hal.science/inria-00432538v1/document
https://doi.org/10.1145/1330017.1330022
https://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/toplas-07.pdf
https://hal.inria.fr/inria-00432538/document
https://dl.acm .org/doi/10.1145/1330017.1330022
https://hal.inria.fr/inria-00432538
https://dblp.uni-trier.de/db/journals/toplas/toplas30.html#LiquoriS08 -
13
Authors: et al.
Contributors: et al.
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, [MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT], [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]
Access URL: https://inria.hal.science/hal-00935057v1
-
14
Authors: et al.
Contributors: et al.
Source: RTSS 2017 - IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01629288 ; RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3
Subject Terms: Analyzer, Certifier, Coq-vertified, Real-time system verification, Formal Analysis, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
-
15
Authors: et al.
Contributors: et al.
Source: Theoretical Computer Science. 398:243-260
Subject Terms: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Inheritance, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Object-oriented language design, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Theoretical Computer Science, 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.3: Studies of Program Constructs, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Types, 0202 electrical engineering, electronic engineering, information engineering, inheritance, types, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.2: Object-oriented constructs, Computer Science(all)
File Description: application/pdf
Access URL: https://inria.hal.science/inria-00432540v1
https://doi.org/10.1016/j.tcs.2008.01.051
https://inria.hal.science/inria-00432540v1/document
https://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/tcs-07.pdf
https://dblp.uni-trier.de/db/journals/tcs/tcs398.html#LiquoriS08
https://hal.inria.fr/inria-00432540/document
https://core.ac.uk/display/81965481
https://www.sciencedirect.com/science/article/pii/S0304397508000704
https://hal.inria.fr/inria-00432540 -
16
Authors: et al.
Contributors: et al.
Source: 19th IFAC World Congress, IFAC'14
https://hal.science/hal-01082576
19th IFAC World Congress, IFAC'14, International Federation of Automatic Control, Aug 2014, Cape Town, South Africa. pp.2382-2393, ⟨10.3182/20140824-6-ZA-1003.02551⟩
http://www.ifac2014.org/Subject Terms: Formalization, Semantic Interoperability, Models, Product Lifecycle Management, Semantic Annotation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: B.: Hardware/B.1: CONTROL STRUCTURES AND MICROPROGRAMMING/B.1.2: Control Structure Performance Analysis and Design Aids/B.1.2.1: Formal models, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT]
Subject Geographic: Cape Town, South Africa
Time: Cape Town, South Africa
-
17
Authors: et al.
Contributors: et al.
Source: 6th International Conference on Generative Programming and Component Engineering (GPCE'07)
https://inria.hal.science/inria-00498413
6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, ⟨10.1145/1289971.1289980⟩Subject Terms: Components, Locality, Open Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
18
Authors: et al.
Contributors: et al.
Source: https://hal.science/tel-04179276 ; Logic in Computer Science [cs.LO]. Université Sorbonne Paris Nord, 2023. English. ⟨NNT : ⟩.
Subject Terms: linear logic, transcendental syntax, model of computation, logic, semantics, realizability, geometry of interaction, proof nets, proof theory, term unification, logic programming, logique linéaire, syntaxe transcendantale, modèle de calcul, logique, sémantique, réalisabilité, géométrie de l'interaction, réseaux de preuve, théorie de la démonstration, unification de termes, programmation logique, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, 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.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.7: Proof theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: tel-04179276; https://hal.science/tel-04179276; https://hal.science/tel-04179276/document; https://hal.science/tel-04179276/file/main.pdf
-
19
Authors: et al.
Contributors: et al.
Source: POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; https://inria.hal.science/hal-00910135 ; POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: San Diego, United States
-
20
Authors: et al.
Contributors: et al.
Source: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003 ; https://inria.hal.science/inria-00099463 ; Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩
Subject Terms: rewriting, lambda calculus, pure type systems, matching, réécriture, filtrage, pure type systèmes, lambda calcul, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, 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.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, 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, [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: New Orleans, United States
Nájsť tento článok vo Web of Science 
Full Text Finder