Výsledky vyhledávání - Semantics of Programming Languages—Algebraic approaches to semantics~

Modelling and Specifying Name Visibility and Binding Semantics

Autoři: Scott A. Vorthmann The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Scott A. Vorthmann The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://reports.adm.cs.cmu.edu/usr/anon/1993/CMU-CS-93-158.ps

Témata: 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

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.2185

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.2185

Logic programming revisited: logic programs as inductive definitions

Autoři: Marc Denecker Maurice Bruynooghe Victor Marek a další

Přispěvatelé: Marc Denecker Maurice Bruynooghe Victor Marek a další

Zdroj: http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: 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

A Calculus for Team Automata

Autoři: ter Beek M. GADDUCCI, FABIO Janssens D.

Zdroj: 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 science

Témata: 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)

Popis souboru: application/pdf; pdf

Přístupová URL adresa: 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

Conservative approximations for heterogeneous design

Autoři: Roberto Passerone Jerry R. Burch Alberto L. Sangiovanni a další

Přispěvatelé: Roberto Passerone Jerry R. Burch Alberto L. Sangiovanni a další

Zdroj: http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.2649; http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.2649
http://disi.unitn.it/~roby/pdfs/PasseroneBurchASV04EMSOFT.pdf

Element of Interaction :Touring Award Lecture.

Autoři: Milner, Robin

Zdroj: Communications of the ACM; Jan1993, Vol. 36 Issue 1, p78-89, 12p

Témata: CONCURRENT Aggregates (Computer program language), INFORMATION theory, COMPUTER software, COMPARATIVE linguistics, SEMANTICS, PROGRAMMING languages

Monadic Combinators for “Putback” Style Bidirectional Programming

Autoři: Hugo Pacheco Zhenjiang Hu Sebastian Fischer a další

Přispěvatelé: Hugo Pacheco Zhenjiang Hu Sebastian Fischer a další

Zdroj: http://www.cs.cornell.edu/~hpacheco/publications/pepm14.pdf.

Témata: 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

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.2476
http://www.cs.cornell.edu/~hpacheco/publications/pepm14.pdf

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.

Autoři: Attiogbé, Christian Poizat, Pascal Salaün, Gwen

Zdroj: IEEE Transactions on Software Engineering; Mar2007, Vol. 33 Issue 3, p157-170, 14p, 1 Black and White Photograph, 3 Diagrams, 15 Charts

Témata: SIMULATION methods & models, BEHAVIOR, DATA, INNOVATION adoption, LANGUAGE & languages, ALGEBRA, SEMANTICS

Extensional Higher-Order Logic Programming.

Autoři: CHARALAMBIDIS, ANGELOS HANDJOPOULOS, KONSTANTINOS RONDOGIANNIS, PANAGIOTIS a další

Zdroj: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-40, 40p

Témata: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL bounds, FIXED point theory, MATHEMATICAL proofs, GENERALIZATION

Embedding domain-specific modelling languages in Maude specifications.

Autoři: Rusu, Vlad

Zdroj: Software & Systems Modeling; Oct2013, Vol. 12 Issue 4, p847-869, 23p

Témata: HUMAN information processing, SYNTAX in programming languages, MATHEMATICAL models, PROGRAMMING languages

A Formal Framework for Metamodeling in the Context of MDE  .

Autoři: Favre, Liliana

Zdroj: Journal of Universal Computer Science (JUCS); 2025, Vol. 31 Issue 4, p338-362, 25p

Algebra and logic for resource-based systems modelling.

Autoři: Collinson, Matthew Pym, David

Zdroj: Mathematical Structures in Computer Science; Oct2009, Vol. 19 Issue 5, p959-1027, 69p

Témata: ALGEBRA, MATHEMATICAL logic, MATHEMATICAL models, CALCULUS, PARALLEL programming, PROGRAMMING language semantics

Epic 1.0 (unconditional) an Equational Programming Language

Autoři: H. R. Walters J. F. Th. Kamperman Issn -x a další

Přispěvatelé: H. R. Walters J. F. Th. Kamperman Issn -x a další

Zdroj: http://www.cwi.nl/ftp/CWIreports/AP/CS-R9604.ps.Z.

Témata: declarative languages, term rewriting, specification languages, formal semantics

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5293

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5293
http://www.cwi.nl/ftp/CWIreports/AP/CS-R9604.ps.Z

Compositionality in the Puzzle of Semantics

Autoři: Roberto Giacobazzi Isabella Mastroeni The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Roberto Giacobazzi Isabella Mastroeni The Pennsylvania State University CiteSeerX Archives

Zdroj: http://profs.sci.univr.it/~mastroen/download/pepm02.pdf.

Témata: transfinite semantics

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6384
http://profs.sci.univr.it/~mastroen/download/pepm02.pdf

Blended Algebraic and Denotational Semantics for ADT Languages with Mutable Objects

Autoři: Gary T. Leavens Krishna Kishore Dhara The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gary T. Leavens Krishna Kishore Dhara The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.cs.iastate.edu/pub/techreports/TR93-21/TR.ps.Z

Témata: algebraic semantics, algebraic models, denotational semantics, abstract data type, objects, mutation, model theory, simulation relation

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.3630

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.3630

GEKKO Optimization Suite.

Autoři: Beal, Logan D. R. Hill, Daniel C. Martin, R. Abraham a další

Zdroj: Processes; Aug2018, Vol. 6 Issue 8, p106, 1p

Témata: GEKKO, PYTHON programming language, ALGEBRAIC logic, OPTIMALITY theory (Linguistics), PREDICTIVE control systems, MATHEMATICAL models

Approaching the Standard of Knowledge Representation in the Web by Algebraic Means.

Autoři: Beniaminov, E. M.

Zdroj: Automatic Documentation & Mathematical Linguistics; Oct2022, Vol. 56 Issue 5, p265-273, 9p

Foundations of Object-Oriented Languages - 2nd Workshop report

Autoři: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Zdroj: ftp://ftp.cs.iastate.edu/pub/techreports/TR94-22/TR.ps.Z

Témata: 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

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.964

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.964

Modelling and Specifying Name Visibility and Binding Semantics

Autoři: Vorthmann, Scott A. CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Přispěvatelé: Vorthmann, Scott A. CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Zdroj: DTIC AND NTIS

Témata: Linguistics, SEMANTICS, ALGORITHMS, SOFTWARE ENGINEERING, ENVIRONMENTS, MODELS, NETWORKS, VISIBILITY, COMPILERS, GRAMMARS, ADA PROGRAMMING LANGUAGE, STATICS, CODING, SPECIFICATIONS, THEORY, COMPUTER PROGRAMMING, PROGRAMMING LANGUAGES, NAMES, lang

Relation: http://www.dtic.mil/docs/citations/ADA273602

Dostupnost: http://www.dtic.mil/docs/citations/ADA273602

Behaviour abstraction adequacy criteria for API call protocol testing.

Autoři: Czemerinski, Hernan Braberman, Victor Uchitel, Sebastian

Zdroj: Software Testing: Verification & Reliability; May2016, Vol. 26 Issue 3, p211-244, 34p

Témata: COMPUTER software testing, APPLICATION program interfaces, COMPUTER network protocols, PROGRAMMING languages, COMPUTER programming

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

Témata: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming