نتائج البحث

Natural deduction and semantic models of justification logic in the proof assistant Coq

• Authors : Jesús Mauricio Andrade Guzmán; Francisco Hernández Quiroz

Subjects: Natural deduction; Logic; Computer science

• Source: Logic Journal of the IGPL.

تفاصيل العنوان

Scalable pointer analysis of data structures using semantic models

• Authors : Christian Wimmer; Pratik Fegade

Subjects: 050101 languages & linguistics; Object-oriented programming; Programming language

• Source: CC

تفاصيل العنوان

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models

• Authors : Sung-Shik T. Q. Jongmans; Farhad Arbab; Christian Krause

Subjects: Model checking; Nondeterministic algorithm; Computer science

• Source: Lecture Notes in Computer Science ISBN: 9783642214639COORDINATION

تفاصيل العنوان

Semantic models for concurrent logic languages

• Authors : Joost N. Kok; Jan Rutten; Catuscia Palamidessi

Subjects: General Computer Science; Programming language; computer.software_genre

• Source: Theoretical Computer Science. 86(1):3-33

تفاصيل العنوان

Semantic Models of a Timed Distributed Dataspace architecture

• Authors : Jozef Hooman; Jaco van de Pol; Specification and Analysis of Embedded Systems

Subjects: Denotational semantics; Informatics for Technical Applications; Theoretical computer science

• Source: Theoretical Computer Science, 331, 2-3, pp. 291-323Theoretical Computer Science, 331(2-3), 291-323. ElsevierTheoretical Computer Science, 331(2-3), 291-323Theoretical Computer

تفاصيل العنوان

Equivalent Semantic Models for a Distributed Dataspace Architecture

• Authors : Hooman, J.J.M.; Pol, J. van de; Boer, F.S. De ...

Subjects: Informatics for Technical Applications; Object-oriented programming; Theoretical computer science

• Source: Formal Methods for Components and Objects ISBN: 9783540203032FMCOBoer, F.S. De; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods for Components and Objects, pp. 182-201Lecture Notes

تفاصيل العنوان

Designing equivalent semantic models for process creation

• Authors : Pierre America; Jaco de Bakker

Subjects: Theoretical computer science; General Computer Science; Computer science

• Source: Mathematical Models for the Semantics of Parallelism ISBN: 9783540184195Theoretical Computer Science, 60(2), 109-176

تفاصيل العنوان

Algebraic definition of a functional programming language and its semantic models

• Authors : Martin Wirsing; Manfred Broy

Subjects: Programming language; Functional logic programming; Algebraic definition

• Source: RAIRO. Informatique théorique. 17:137-161

تفاصيل العنوان

Concrete data structures and functional parallel programming

• Authors : Gaétan Hains; John Mullins; Frédéric Loulergue

Subjects: Theoretical computer science; Current (mathematics); General Computer Science

• Source: Theoretical Computer Science. 258:233-267

تفاصيل العنوان

Semantic simulations based on object-oriented analysis and modeling

• Authors : Robert B. Allen

Subjects: Library and information science; Computer science; Programming language

تفاصيل العنوان