Výsledky vyhľadávania - Semantics of Programming Languages—Algebraic approaches to semantics

Modelling and Specifying Name Visibility and Binding Semantics

Autori: Scott A. Vorthmann The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Scott A. Vorthmann The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/postscript

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

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

Logic programming revisited: logic programs as inductive definitions

Autori: Marc Denecker Maurice Bruynooghe Victor Marek a ďalší

Prispievatelia: Marc Denecker Maurice Bruynooghe Victor Marek a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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

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

Predmety: 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 súboru: application/pdf; pdf

Prí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

Autori: Roberto Passerone Jerry R. Burch Alberto L. Sangiovanni a ďalší

Prispievatelia: Roberto Passerone Jerry R. Burch Alberto L. Sangiovanni a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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.

Autori: Milner, Robin

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

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

Monadic Combinators for “Putback” Style Bidirectional Programming

Autori: Hugo Pacheco Zhenjiang Hu Sebastian Fischer a ďalší

Prispievatelia: Hugo Pacheco Zhenjiang Hu Sebastian Fischer a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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.

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

Predmety: SIMULATION methods & models, BEHAVIOR, DATA, INNOVATION adoption, LANGUAGE & languages, ALGEBRA, SEMANTICS

Extensional Higher-Order Logic Programming.

Autori: CHARALAMBIDIS, ANGELOS HANDJOPOULOS, KONSTANTINOS RONDOGIANNIS, PANAGIOTIS a ďalší

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

Predmety: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL bounds, FIXED point theory, MATHEMATICAL proofs, GENERALIZATION

Embedding domain-specific modelling languages in Maude specifications.

Autori: Rusu, Vlad

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

Predmety: HUMAN information processing, SYNTAX in programming languages, MATHEMATICAL models, PROGRAMMING languages

A Formal Framework for Metamodeling in the Context of MDE  .

Autori: 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.

Autori: Collinson, Matthew Pym, David

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

Predmety: ALGEBRA, MATHEMATICAL logic, MATHEMATICAL models, CALCULUS, PARALLEL programming, PROGRAMMING language semantics

Epic 1.0 (unconditional) an Equational Programming Language

Autori: H. R. Walters J. F. Th. Kamperman Issn -x a ďalší

Prispievatelia: H. R. Walters J. F. Th. Kamperman Issn -x a ďalší

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

Predmety: declarative languages, term rewriting, specification languages, formal semantics

Popis súboru: application/postscript

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

Dostupnosť: 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

Autori: Roberto Giacobazzi Isabella Mastroeni The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Roberto Giacobazzi Isabella Mastroeni The Pennsylvania State University CiteSeerX Archives

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

Predmety: transfinite semantics

Popis súboru: 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

Dostupnosť: 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

Autori: Gary T. Leavens Krishna Kishore Dhara The Pennsylvania State University CiteSeerX Archives

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

Predmety: algebraic semantics, algebraic models, denotational semantics, abstract data type, objects, mutation, model theory, simulation relation

Popis súboru: application/postscript

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

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

GEKKO Optimization Suite.

Autori: Beal, Logan D. R. Hill, Daniel C. Martin, R. Abraham a ďalší

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

Predmety: 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.

Autori: Beniaminov, E. M.

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

Foundations of Object-Oriented Languages - 2nd Workshop report

Autori: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/postscript

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

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

Modelling and Specifying Name Visibility and Binding Semantics

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

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

Zdroj: DTIC AND NTIS

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

Dostupnosť: http://www.dtic.mil/docs/citations/ADA273602

Behaviour abstraction adequacy criteria for API call protocol testing.

Autori: Czemerinski, Hernan Braberman, Victor Uchitel, Sebastian

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

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

Predmety: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming