Results 11 to 20 of about 1,022,127 (268)
Logic and programming languages [PDF]
Communications of the ACM, 1977 Logic has been long interested in whether answers to certain questions are computable in principle, since the outcome puts bounds on the possibilities of formalization. More recently, precise comparisons in the efficiency of decision methods have become available through the developments in complexity theory.
Dana Scott
openalex +7 more sources
The programming language pascal [PDF]
Acta Informatica, 1971 Berichte der Fachgruppe Computerwissenschaften ...
Niklaus Wirth
openalex +6 more sources
Extending Stan for Deep Probabilistic Programming [PDF]
, 2020 Stan is a popular declarative probabilistic programming language with a high-level syntax for expressing graphical models and beyond. Stan differs by nature from generative probabilistic programming languages like Church, Anglican, or Pyro.
Baudart, Guillaume +5 more
core +1 more source
Open Programming Language Interpreters [PDF]
, 2017 Context: This paper presents the concept of open programming language interpreters and the implementation of a framework-level metaobject protocol (MOP) to support them.
Cazzola, Walter, Shaqiri, Albert
core +2 more sources
Syntax-directed documentation for PL360 [PDF]
, 1970 PL360 is a phrase-structured programming language which provides the facilities of a symbolic machine language for the IBM 360 computers. An automatic process, syntax-directed documentation, is described which acquires programming documentation through ...
Mills, H. D.
core +3 more sources
KLAIM: A Kernel Language for Agents Interaction and Mobility [PDF]
, 1997 We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another.
De Nicola, Rocco +2 more
core +2 more sources
The StaDyn programming language
SoftwareX, 2022 Spanish Department of Science, Innovation, and Universities (project RTI2018-099235-BI00)
Francisco Ortin +3 more
openaire +3 more sources
Blue - A Language for Teaching Object-Oriented Programming [PDF]
, 1996 Teaching object-oriented programming has clearly become an important part of computer science education. We agree with many others that the best place to teach it is in the CS1 introductory course.
Kölling, Michael, Rosenberg, John
core +3 more sources
A NEW PROGRAMMING LANGUAGE: GO PROGRAMMING LANGUAGE
, 2018 Everyone knows that hardware does not mean anything without software. Software is developed by programming languages. One of the most important factors determining the reach of software is the characteristics of the programming language. Many rich applications can be developed with a language that is fast, easy to learn, and has a large library.
OF, MUSTAFA, ÇAKIR, BURAK
openaire +3 more sources
Reasoning About a Service-oriented Programming Paradigm
, 2009 This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services.
A. Barros +28 more
core +2 more sources