Autor der Publikation

Issues in the Formal Specifications of Programming Languages.

, , und . Formal Description of Programming Concepts, Seite 1-30. North-Holland, (1977)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Parallel Execution of Iterative Computations over Workstation Clusters., und . J. Parallel Distributed Comput., 34 (2): 218-226 (1996)Discrete-Time versus Continuous-Time Models of Neural Networks., und . J. Comput. Syst. Sci., 45 (1): 1-19 (1992)Extending an implementation language to a specification language., , und . Mathematical Studies of Information Processing, Volume 75 von Lecture Notes in Computer Science, Seite 384-424. Springer, (1978)Efficient Reducibility Between Programming Systems: Preliminary Report, und . STOC, Seite 228-238. ACM, (1977)A Formal System for Differentiation.. J. ACM, 13 (4): 495-504 (1966)A multi-processing implementation-oriented formal definition of Ada in SEMANOL., , und . SIGPLAN, Seite 202-212. ACM, (1980)Asynchronous Dynamics of Continuous Time Neural Networks., , und . NIPS, Seite 493-500. Morgan Kaufmann, (1993)The Semantics of Shared Submodules Specifications., und . TAPSOFT, Vol.1, Volume 185 von Lecture Notes in Computer Science, Seite 359-373. Springer, (1985)Issues in the Formal Specifications of Programming Languages., , und . Formal Description of Programming Concepts, Seite 1-30. North-Holland, (1977)Automatic Digital Encoding System, II (ADES II).. ACM National Meeting, Seite 110-113. ACM, (1956)