Search Results - Semantics of Programming Languages—Algebraic approaches to semantics*
-
1
Authors:
Contributors:
Source: ftp://reports.adm.cs.cmu.edu/usr/anon/1993/CMU-CS-93-158.ps
Subject Terms: Programming Languages, Formal Definitions and Theory- Semantics, Language Constructs and Features- Modules, Packages, Logics and Meanings of Programs, Semantics of Programming Languages- algebraic approaches to semantics
File Description: application/postscript
-
2
Authors:
Contributors:
Subject Terms: Models of computation, Semantics of Programming Languages – Algebraic Approach, Logics and Meanings of Programs, Theory of Computation, Theory of Computation, Models of computation, Logics and Meanings of Programs, Semantics of Programming Languages – Algebraic Approach, ddc:004
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, F.3.2 [Logics And Meanings Of Programs, Semantics of Programming Languages—Algebraic approaches to semantics, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic— Computational logic, Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Languages, Theory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.7036; http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf
-
4
Authors:
Source: Brazilian Symposium on Formal Methods (SBMF'06), pp. 41–55, Natal, Rio Grande do Norte, Brazil, 17-23 Settembre 2006
info:cnr-pdr/source/autori:Ter Beek M. H.; Gadducci F.; Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Brazil/congresso_data:17-23 Settembre 2006/anno:2008/pagina_da:41/pagina_a:55/intervallo_pagine:41–55
Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Br, 17-23/09/2017
info:cnr-pdr/source/autori:Ter Beek M., Gadducci F., Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Br/congresso_data:17-23%2F09%2F2017/anno:2006/pagina_da:/pagina_a:/intervallo_pagine
ISTI Technical reports, 2005
Brazilian Symposium on Formal Methods, 59-72, Universitate Federal do Rio Grande do Sul, Natal, Brazil, September 17-23, 2006
Electronic notes in theoretical computer scienceSubject Terms: Computer. Automation, process calculi, Semantics of Programming Languages. Algebraic approaches to semantics, Semantics of Programming Languages. Process models, F.1.1 Models of Computation. Automata, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, Team automata, Theoretical Computer Science, F.3.2 Models of Computation. Relations between models, 0202 electrical engineering, electronic engineering, information engineering, Compositional specification, Process calculus, Computer Science(all)
File Description: application/pdf; pdf
Access URL: https://publications.cnr.it/doc/120355
http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
http://www.cnr.it/prodotto/i/120355
https://publications.cnr.it/doc/160216
http://www.cnr.it/prodotto/i/160216
https://www.sciencedirect.com/science/article/abs/pii/S157106610800011X
https://core.ac.uk/display/54913895
http://fmt.isti.cnr.it/~mtbeek/SBMF08.pdf
https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs195.html#BeekGJ08
https://arpi.unipi.it/handle/11568/125939
https://hdl.handle.net/20.500.14243/102149
http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
https://hdl.handle.net/20.500.14243/58471
https://doi.org/10.1016/j.entcs.2007.08.022
https://hdl.handle.net/10067/646170151162165141
https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
https://hdl.handle.net/10067/1009270151162165141 -
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors F.1.1 [Computation by Abstract Devices, Models of Compu- tation—Relations between models, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Algebraic approaches to semantics, Denotational semantics, I.6.4 [Simula- tion and Modeling, Model Validation and Analysis General Terms Design, Theory, Verification Keywords Approximation, Abstraction, Refinement, Verification, Model of computation, Heterogeneous, Polymorphism
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.2649; http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf
-
6
Authors: Milner, Robin
Source: Communications of the ACM; Jan1993, Vol. 36 Issue 1, p78-89, 12p
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.1 [Programming Tech- niques, Applicative (Functional) Programming, D.3.1 [Program- ming Languages, Formal Definitions and Theory, F.3.2 [Log- ics and Meanings of Programs, Semantics of Programming Languages—Algebraic approaches to semantics Keywords bidirectional programm, view update, lenses, Haskell
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.2476; http://www.cs.cornell.edu/~hpacheco/publications/pepm14.pdf
-
8
Theory—Syntax; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—Algebraic
Authors:
Contributors:
Subject Terms: Mathematical Logic and Formal Languages, Mathematical Logic—Mechanical theorem proving General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Abstract syntax, binders, induction, names, recursion
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.5001; http://www.cl.cam.ac.uk/users/ap/papers/alpsri/alpsri.pdf
-
9
Authors:
Source: IEEE Transactions on Software Engineering; Mar2007, Vol. 33 Issue 3, p157-170, 14p, 1 Black and White Photograph, 3 Diagrams, 15 Charts
Subject Terms: SIMULATION methods & models, BEHAVIOR, DATA, INNOVATION adoption, LANGUAGE & languages, ALGEBRA, SEMANTICS
-
10
Authors: et al.
Source: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-40, 40p
Subject Terms: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL bounds, FIXED point theory, MATHEMATICAL proofs, GENERALIZATION
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, F. 1.1 [Computation by Abstract Devices, Model of Computation—A atwnata, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages —algebraic approaches to sema?ztics, F.4.3 [Mathematical Logic and Formal Languages, Formal Languages—decision problems General Terms, Theory Additional Key Words and Phrases, Bisimulation semantics, context-free grammars, context-free languages, process algebra, simple context-free languages
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.8406; http://alexandria.tue.nl/repository/freearticles/586722.pdf
-
12
Authors: Rusu, Vlad
Source: Software & Systems Modeling; Oct2013, Vol. 12 Issue 4, p847-869, 23p
-
13
Authors: Favre, Liliana
Source: Journal of Universal Computer Science (JUCS); 2025, Vol. 31 Issue 4, p338-362, 25p
-
14
Authors:
Source: Mathematical Structures in Computer Science; Oct2009, Vol. 19 Issue 5, p959-1027, 69p
-
15
Authors: et al.
Contributors: et al.
Subject Terms: declarative languages, term rewriting, specification languages, formal semantics
File Description: application/postscript
-
16
Authors:
Contributors:
Subject Terms: transfinite semantics
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6384; http://profs.sci.univr.it/~mastroen/download/pepm02.pdf
-
17
Authors:
Contributors:
Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR93-21/TR.ps.Z
Subject Terms: algebraic semantics, algebraic models, denotational semantics, abstract data type, objects, mutation, model theory, simulation relation
File Description: application/postscript
-
18
Authors: et al.
Source: Processes; Aug2018, Vol. 6 Issue 8, p106, 1p
-
19
Authors:
Contributors:
Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR94-22/TR.ps.Z
Subject Terms: object-oriented programming, type checking, verification, modules, binary method, matching, subtyping, record update, state, semantics, covariance, contravariance, flow analysis, self, method schemas. 1994 CR Categories, D.1.5 [Programming Techniques] Object-oriented Programming, D.2.2 [Software Engineering] Tools and Techniques--- modules and interfaces, D.2.2 [Software Engineering] Program Verification
File Description: application/postscript
-
20
Authors:
Contributors:
Source: DTIC AND NTIS
Subject Terms: Linguistics, SEMANTICS, ALGORITHMS, SOFTWARE ENGINEERING, ENVIRONMENTS, MODELS, NETWORKS, VISIBILITY, COMPILERS, GRAMMARS, ADA PROGRAMMING LANGUAGE, STATICS, CODING, SPECIFICATIONS, THEORY, COMPUTER PROGRAMMING, PROGRAMMING LANGUAGES, NAMES, lang
Availability: http://www.dtic.mil/docs/citations/ADA273602
Nájsť tento článok vo Web of Science 
Full Text Finder