-
1Conference
Authors: Zouev, Eugene
Source: 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)
-
2Academic Journal
Contributors: Mateo Torres-Ruiz and Robin Piedeleu and Alexandra Silva and Fabio Zanasi
Subject Terms: Probabilistic programming, Programming languages semantics, Unbounded iteration
File Description: 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
-
3Report
Authors: Bolter, Barry Brian
Contributors: Bolter, Barry Brian
Subject Terms: 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
-
4Academic Journal
Authors: Solieri, Marco
Contributors: 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)
Source: Electronic Proceedings in Theoretical Computer Science, Vol 176, Iss Proc. LINEARITY 2014, Pp 79-94 (2015)
Subject Terms: 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)
File Description: application/pdf
-
5Conference
Contributors: Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi
Subject Terms: Software and its engineering, Software and its engineering, General programming languages, Semantics, General programming languages, Semantics
File Description: application/pdf
-
6Academic Journal
Authors: Christiano Braga, José Meseguer 0001
Source: Electronic Notes in Theoretical Computer Science. 117:393-416
Linked Full TextSubject Terms: 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)
-
7Academic Journal
Authors: Hirschfeld, Robert, Krishnamurthi, Shriram, Vitek, Jan
Contributors: Robert Hirschfeld and Shriram Krishnamurthi and Jan Vitek
Source: Dagstuhl Reports. 2:1-18
Subject Terms: type systems, scripting languages, rapid software, programming languages semantics, verification techniques, security analyses, scalability
File Description: application/pdf
-
8eBook
Authors: Brlek, SrećkoAff1, Castéran, PierreAff2, Strandh, RobertAff2
Contributors: 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
Source: TAPSOFT '91 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. 494:379-393
-
9Academic Journal
Authors: Wegner, P.
Source: IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. C-25(12):1207-1225 Dec, 1976
-
10Academic Journal
Authors: Giorgio Germano, Andrea Maggiolo-Schettini
Source: Theoretical Computer Science. 15:213-221
Subject Terms: 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)
File Description: application/xml
-
11Report
Subject Terms: QA076.7 Programming Languages - Semantics
File Description: 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.
-
12Report
Authors: Ali, Raian, Dalpiaz, Fabiano, Giorgini, Paolo
Subject Terms: QA076.7 Programming Languages - Semantics
File Description: 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)
-
13Report
Authors: Ali, Raian, Dalpiaz, Fabiano, Giorgini, Paolo
Subject Terms: QA076.7 Programming Languages - Semantics
File Description: 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)
-
14Report
Authors: Bartoletti, Massimo, Zunino, Roberto
Subject Terms: QA076.7 Programming Languages - Semantics
File Description: application/pdf
Relation: http://eprints.biblio.unitn.it/1818/1/serviceDeadlinesTR.pdf; Bartoletti, Massimo and Zunino, Roberto (2010) Static Enforcement of Service Deadlines. UNSPECIFIED.
-
15Report
Authors: Muhammad, Imran, Marchese, Maurizio, Ragone, Azzurra, Birukou, Aliaksandr, Casati, Fabio, Jara Laconich, Juan Jose
Subject Terms: QA076.7 Programming Languages - Semantics, QA076 Computer software
File Description: 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)
-
16Report
Subject Terms: QA076.7 Programming Languages - Semantics
File Description: 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)
-
17Report
Authors: Autayeu, Aliaksandr
Subject Terms: QA076.7 Programming Languages - Semantics
File Description: application/pdf
Relation: http://eprints.biblio.unitn.it/1847/1/032.pdf; Autayeu, Aliaksandr (2010) Descriptive Phrases: Understanding Natural Language Metadata. UNSPECIFIED. (Unpublished)
-
18Report
Authors: Moscon, Valentina
Subject Terms: K Law (General), QA076.7 Programming Languages - Semantics
File Description: 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)
-
19Report
Authors: Bartoletti, Massimo, Zunino, Roberto
Subject Terms: QA075 Electronic computers. Computer science, QA076.7 Programming Languages - Semantics
File Description: application/pdf
Relation: http://eprints.biblio.unitn.it/1679/1/main.pdf; Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.
-
20Report
Authors: Zhao, Yuting, Wang, Kewen, Topor, Rodney, Pan, Jeff Z., Giunchiglia, Fausto
Subject Terms: QA076.7 Programming Languages - Semantics
File Description: 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)