Suchergebnisse - "ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ESOP ; https://hal.science/hal-04642776 ; ESOP, May 2025, Hamilton, Ontario, Canada, Canada. pp.88-116, ⟨10.4230/LIPIcs⟩
Schlagwörter: 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
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-02954492 ; [Research Report] LIG (Laboratoire informatique de Grenoble); LJK / Grenoble University - INRIA. 2020.
Schlagwörter: 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
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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
Schlagwörter: 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]
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 229-249 (2013)
Schlagwörter: 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)
Dateibeschreibung: application/pdf
Zugangs-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 -
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Theoretical Computer Science. 398:243-260
Schlagwörter: [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)
Dateibeschreibung: application/pdf
Zugangs-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 -
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Programming Languages and Systems. 30:1-32
Schlagwörter: [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
Dateibeschreibung: application/pdf
Zugangs-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 -
7
Autoren:
Weitere Verfasser:
Quelle: https://hal.archives-ouvertes.fr/hal-01634897 ; 2018.
Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-01634897; https://hal.archives-ouvertes.fr/hal-01634897; https://hal.archives-ouvertes.fr/hal-01634897v2/document; https://hal.archives-ouvertes.fr/hal-01634897v2/file/TimedDomain.pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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
Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geographisches Schlagwort: San Diego, United States
-
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: International Conference on Formal Methods and Models for Codesign, MEMOCODE'10 ; https://inria.hal.science/hal-00786378 ; International Conference on Formal Methods and Models for Codesign, MEMOCODE'10, Jul 2010, Grenoble, France. pp.159-168, ⟨10.1109/MEMCOD.2010.5558636⟩
Schlagwörter: ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, 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/D.3.2.1: Concurrent, distributed, and parallel languages, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Relation: info:eu-repo/grantAgreement//214373/EU/ArtistDesign - Design for Embedded Systems/ARTISTDESIGN
-
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-01559832 ; [Research Report] RR-2017-07, LIFO, Université d'Orléans. 2017.
Schlagwörter: parallelism, spmd, synchronization, deadlock, Formal semantics, 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, 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.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Third International Conference on Language and Automata Theory and Applications - LATA 2009 ; https://inria.hal.science/inria-00428679 ; Third International Conference on Language and Automata Theory and Applications - LATA 2009, Apr 2009, Tarragona, Spain. pp.386-397, ⟨10.1007/978-3-642-00982-2_33⟩
Schlagwörter: abstraction, ordering constraint, innermost, narrowing, mechanical verification, mathematical induction, priority rewriting, termination, 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.2: Logics of programs, 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: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.0: Algebraic language theory, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, 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.2: Correctness proofs, 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.8: Validation, 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.5: Specification techniques, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Software Engineering Research, Management and Applications ; https://inria.hal.science/inria-00523528 ; Roger Lee. Software Engineering Research, Management and Applications, 150, Springer, pp.151-171, 2008, Studies in Computational Intelligence, 978-3-540-70774-5. ⟨10.1007/978-3-540-70561-1⟩
Schlagwörter: causality, compilation, modularity, synchronous languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 7th International Conference on Generative Programming and Component Engineering (GPCE'08)
https://inria.hal.science/inria-00492749
7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. pp.125--136, ⟨10.1145/1449913.1449933⟩Schlagwörter: Components, type system, component types, process types, type inference, assemblage errors, communication systems, Languages, Theory, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geographisches Schlagwort: Nashville, United States
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: PPDP 2007 - 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming ; https://inria.hal.science/inria-00182435 ; PPDP 2007 - 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. pp.167-177
Schlagwörter: Algorithms, Languages, Verification, Abstraction, Constraint, Narrowing, Probability, Termination, 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.2: Logics of programs, 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: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.0: Algebraic language theory, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, 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.2: Correctness proofs, 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.8: Validation, 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.5: Specification techniques, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩Schlagwörter: 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]
-
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Symposium on Principles and Practice of Declarative Programming - PPDP'06 ; https://inria.hal.science/inria-00112083 ; Symposium on Principles and Practice of Declarative Programming - PPDP'06, Jul 2006, Venise/Italie
Schlagwörter: Sufficient Completeness, Constructor, Abstraction, Narrowing, Ordering Constraint, Termination, 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.2: Logics of programs, 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, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, 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.8: Validation, 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.5: Specification techniques, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.0: Algebraic language theory, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.4: Substitution mechanisms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
Geographisches Schlagwort: New Orleans, United States
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 2003 ACM Symposium on Document Engineering, DocEng2003 ; https://hal.inria.fr/inria-00423398 ; Proceedings of the 2003 ACM Symposium on Document Engineering, DocEng2003, Nov 2003, Grenoble, France. pp.19-25, ⟨10.1145/958220.958225⟩
Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: inria-00423398; https://hal.inria.fr/inria-00423398; https://hal.inria.fr/inria-00423398/document; https://hal.inria.fr/inria-00423398/file/JYVD-DocEng2003.pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 0752-4072 ; EISSN: 2116-5920.
Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Nájsť tento článok vo Web of Science 
Full Text Finder