Semantic APIs for programming languages

Συγγραφείς: Zouev, Eugene

Πηγή: 2010 6th Central and Eastern European Software Engineering Conference (CEE-SECR) Software Engineering Conference (CEE-SECR), 2010 6th Central and Eastern European. :198-206 Oct, 2010

Relation: 2010 6th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR 2010)

On Iteration in Discrete Probabilistic Programming

Συγγραφείς: Torres-Ruiz, Mateo, Piedeleu, Robin, Silva, Alexandra, Zanasi, Fabio

Συνεισφορές: Mateo Torres-Ruiz and Robin Piedeleu and Alexandra Silva and Fabio Zanasi

Θεματικοί όροι: Probabilistic programming, Programming languages semantics, Unbounded iteration

Περιγραφή αρχείου: application/pdf

Relation: Is Part Of LIPIcs, Volume 299, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.20

Διαθεσιμότητα: https://doi.org/10.4230/LIPIcs.FSCD.2024.20
https://nbn-resolving.org/urn:nbn:de:0030-drops-203490
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.20

00: The Recursive Zero and the Layered Abstraction of Number

Συγγραφείς: Bolter, Barry Brian

Συνεισφορές: Bolter, Barry Brian

Θεματικοί όροι: Recursive zero, Double zero (00), Mathematical abstraction, Logic boundary, Structural recursion, Formal systems, Zero asymmetry, Automata theory, Computational logic, Recursive computation, Meta-neutral element, Type theory, Recursive mathematics, Non-standard number systems, Closure and abstraction, Symbolic logic, Foundations of Mathematics, Logic and Set Theory, Number Theory (Non-standard number systems), Formal Languages and Automata Theory, Theory of Computation, Programming Languages (Semantics, Type Systems), Philosophy of Mathematics, Ontology of Abstraction, Symbolic Reasoning, Recursive Representation Models

Relation: https://zenodo.org/records/15714877; oai:zenodo.org:15714877; https://doi.org/10.5281/zenodo.15714877

Διαθεσιμότητα: https://doi.org/10.5281/zenodo.15714877
https://zenodo.org/records/15714877

Geometry of Resource Interaction – A Minimalist Approach

Συγγραφείς: Solieri, Marco

Συνεισφορές: Solieri, Marco, Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), Department of Computer Science and Engineering Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), ANR-10-BLAN-0213,LOGOI,Logique et géometrie de l'interaction(2010)

Πηγή: Electronic Proceedings in Theoretical Computer Science, Vol 176, Iss Proc. LINEARITY 2014, Pp 79-94 (2015)

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, F.3.2, F.4.1, 0102 computer and information sciences, 01 natural sciences, Non-determinism, Interaction Nets, Linearity, QA1-939, 0101 mathematics, Resource λ-calculus, 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], Computer Science - Programming Languages, Programming Languages Semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], QA75.5-76.95, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, 16. Peace & justice, Geometry of Interaction, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), 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, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Electronic computers. Computer science, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], Path, Dynamic Algebra, Mathematics, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://arxiv.org/pdf/1502.04775
http://arxiv.org/abs/1502.04775
https://doaj.org/article/bd6491c2cb1f40049b526db93bcd71e6

LIPIcs, Volume 136, SNAPL'19, Complete Volume

Συγγραφείς: Lerner, Benjamin S., Bodík, Rastislav, Krishnamurthi, Shriram

Συνεισφορές: Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi

Θεματικοί όροι: Software and its engineering, Software and its engineering, General programming languages, Semantics, General programming languages, Semantics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2019

Modular Rewriting Semantics in Practice

Συγγραφείς: Christiano Braga, José Meseguer 0001

Πηγή: Electronic Notes in Theoretical Computer Science. 117:393-416

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, Rewriting logic, programming languages semantics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, modularity, Theoretical Computer Science, Computer Science(all)

Foundations for Scripting Languages (Dagstuhl Seminar 12011)

Συγγραφείς: Hirschfeld, Robert, Krishnamurthi, Shriram, Vitek, Jan

Συνεισφορές: Robert Hirschfeld and Shriram Krishnamurthi and Jan Vitek

Πηγή: Dagstuhl Reports. 2:1-18

Θεματικοί όροι: type systems, scripting languages, rapid software, programming languages semantics, verification techniques, security analyses, scalability

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.1

On addition schemes

Συγγραφείς: Brlek, Srećko^Aff1, Castéran, Pierre^Aff2, Strandh, Robert^Aff2

Συνεισφορές: Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Abramsky, S., editor, Maibaum, T. S. E., editor

Πηγή: TAPSOFT '91 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. 494:379-393

Programming Languages—The First 25 Years

Συγγραφείς: Wegner, P.

Πηγή: IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. C-25(12):1207-1225 Dec, 1976

Sequence recursiveness without cylindrification and limited register machines

Συγγραφείς: Giorgio Germano, Andrea Maggiolo-Schettini

Πηγή: Theoretical Computer Science. 15:213-221

Θεματικοί όροι: Specification and verification (program logics, model checking, etc.), programming languages semantics, 0102 computer and information sciences, 0101 mathematics, recursive number theory, 01 natural sciences, Computability and recursion theory on ordinals, admissible sets, etc, theory of computation, Recursive functions and relations, subrecursive hierarchies, Theoretical Computer Science, Computer Science(all)

Περιγραφή αρχείου: application/xml

Minimalist Metadata Visualization: The Minimal Set of Context Dependent Attributes for Entity Identification

Συγγραφείς: Giunchiglia, Fausto, Khandaker, Tabin Hasan, Sheikh Shaugat, Abdullah, Rezwan, Ahmed

Θεματικοί όροι: QA076.7 Programming Languages - Semantics

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/4160/1/022.pdf; Giunchiglia, Fausto and Khandaker, Tabin Hasan and Sheikh Shaugat, Abdullah and Rezwan, Ahmed (2013) Minimalist Metadata Visualization: The Minimal Set of Context Dependent Attributes for Entity Identification. Trento : Università degli Studi di Trento. Dipartimento di Ingegneria e Scienza dell'Informazione.

Διαθεσιμότητα: http://eprints.biblio.unitn.it/4160/
http://eprints.biblio.unitn.it/4160/1/022.pdf
http://www.ines-conf.org/ines-conf/2013.html

Contextual Goal Models

Συγγραφείς: Ali, Raian, Dalpiaz, Fabiano, Giorgini, Paolo

Θεματικοί όροι: QA076.7 Programming Languages - Semantics

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/1820/1/Contextual_Goal_Model_Ali_et_al.pdf; Ali, Raian and Dalpiaz, Fabiano and Giorgini, Paolo (2010) Contextual Goal Models. UNSPECIFIED. (Unpublished)

Διαθεσιμότητα: http://eprints.biblio.unitn.it/1820/
http://eprints.biblio.unitn.it/1820/1/Contextual_Goal_Model_Ali_et_al.pdf

A Goal-based Framework for Contextual Requirements Modeling and Analysis

Συγγραφείς: Ali, Raian, Dalpiaz, Fabiano, Giorgini, Paolo

Θεματικοί όροι: QA076.7 Programming Languages - Semantics

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/1819/1/Ali_Dalpiaz_Giorgini_TR_Feb_2010.pdf; Ali, Raian and Dalpiaz, Fabiano and Giorgini, Paolo (2010) A Goal-based Framework for Contextual Requirements Modeling and Analysis. UNSPECIFIED. (Submitted)

Διαθεσιμότητα: http://eprints.biblio.unitn.it/1819/
http://eprints.biblio.unitn.it/1819/1/Ali_Dalpiaz_Giorgini_TR_Feb_2010.pdf

Static Enforcement of Service Deadlines

Συγγραφείς: Bartoletti, Massimo, Zunino, Roberto

Θεματικοί όροι: QA076.7 Programming Languages - Semantics

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/1818/1/serviceDeadlinesTR.pdf; Bartoletti, Massimo and Zunino, Roberto (2010) Static Enforcement of Service Deadlines. UNSPECIFIED.

Διαθεσιμότητα: http://eprints.biblio.unitn.it/1818/
http://eprints.biblio.unitn.it/1818/1/serviceDeadlinesTR.pdf

ResEval: An Open and Resource-oriented Research Impact Evaluation tool

Συγγραφείς: Muhammad, Imran, Marchese, Maurizio, Ragone, Azzurra, Birukou, Aliaksandr, Casati, Fabio, Jara Laconich, Juan Jose

Θεματικοί όροι: QA076.7 Programming Languages - Semantics, QA076 Computer software

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/1817/1/ResEval_An_open_and_resource_oriented_impact_evaluation_tool.pdf; Muhammad, Imran and Marchese, Maurizio and Ragone, Azzurra and Birukou, Aliaksandr and Casati, Fabio and Jara Laconich, Juan Jose (2010) ResEval: An Open and Resource-oriented Research Impact Evaluation tool. UNSPECIFIED. (Submitted)

Διαθεσιμότητα: http://eprints.biblio.unitn.it/1817/
http://eprints.biblio.unitn.it/1817/1/ResEval_An_open_and_resource_oriented_impact_evaluation_tool.pdf

GRAPES: a Generic Environment for P2P Streaming

Συγγραφείς: Abeni, Luca, Kiraly, Csaba, Russo, Alessandro, Biazzini, Marco, Lo Cigno, Renato

Θεματικοί όροι: QA076.7 Programming Languages - Semantics

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/1868/1/TR%2DDISI%2D10%2D038.pdf; Abeni, Luca and Kiraly, Csaba and Russo, Alessandro and Biazzini, Marco and Lo Cigno, Renato (2010) GRAPES: a Generic Environment for P2P Streaming. UNSPECIFIED. (Unpublished)

Διαθεσιμότητα: http://eprints.biblio.unitn.it/1868/
http://eprints.biblio.unitn.it/1868/1/TR%2DDISI%2D10%2D038.pdf

Descriptive Phrases: Understanding Natural Language Metadata

Συγγραφείς: Autayeu, Aliaksandr

Θεματικοί όροι: QA076.7 Programming Languages - Semantics

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/1847/1/032.pdf; Autayeu, Aliaksandr (2010) Descriptive Phrases: Understanding Natural Language Metadata. UNSPECIFIED. (Unpublished)

Διαθεσιμότητα: http://eprints.biblio.unitn.it/1847/
http://eprints.biblio.unitn.it/1847/1/032.pdf

Copyright law, Contract law, Rights Expression Languages and Value-Centered Design Approach

Συγγραφείς: Moscon, Valentina

Θεματικοί όροι: K Law (General), QA076.7 Programming Languages - Semantics

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/1790/1/RELs_and_valuecenterddesign_approach.doc.pdf; Moscon, Valentina (2009) Copyright law, Contract law, Rights Expression Languages and Value-Centered Design Approach. [Preprint] (Unpublished)

Διαθεσιμότητα: http://eprints.biblio.unitn.it/1790/
http://eprints.biblio.unitn.it/1790/1/RELs_and_valuecenterddesign_approach.doc.pdf

A Calculus of Contracting Processes

Συγγραφείς: Bartoletti, Massimo, Zunino, Roberto

Θεματικοί όροι: QA075 Electronic computers. Computer science, QA076.7 Programming Languages - Semantics

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/1679/1/main.pdf; Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.

Διαθεσιμότητα: http://eprints.biblio.unitn.it/1679/
http://eprints.biblio.unitn.it/1679/1/main.pdf

Building Heterogeneous Multi-context Systems by Semantic Bindings

Συγγραφείς: Zhao, Yuting, Wang, Kewen, Topor, Rodney, Pan, Jeff Z., Giunchiglia, Fausto

Θεματικοί όροι: QA076.7 Programming Languages - Semantics

Περιγραφή αρχείου: application/pdf

Relation: http://eprints.biblio.unitn.it/1653/1/043.pdf; Zhao, Yuting and Wang, Kewen and Topor, Rodney and Pan, Jeff Z. and Giunchiglia, Fausto (2009) Building Heterogeneous Multi-context Systems by Semantic Bindings. UNSPECIFIED. (In Press)

Διαθεσιμότητα: http://eprints.biblio.unitn.it/1653/
http://eprints.biblio.unitn.it/1653/1/043.pdf